GNU/Linux >> Linux の 問題 >  >> Linux

Linux で PATH 変数を変更する方法

PATH 変数とは

PATH 環境変数には、コマンド ラインでコマンド/アプリケーションを実行するときに、コマンド/アプリケーションを探す場所のコロン区切りのリストが格納されます。たとえば、ls や vi などのコマンドを実行すると、システムは PATH にリストされているすべてのディレクトリを (左から順に) チェックして、ユーザーが実行しようとしている実行可能ファイルまたはスクリプトを見つけます。これにより、ファイル システム内の場所を知らなくてもコマンドを実行できます。以下は、Linux システムでの PATH 変数の例です。

# echo $PATH
/usr/local/sbin:/usr/local/bin:/sbin:/bin:/usr/sbin:/usr/bin:/root/bin

デフォルトでは、PATH は次のディレクトリを参照するように設定されています:

/usr/local/sbin
/usr/local/bin
/sbin
/bin
/usr/sbin
/usr/bin

PATH 変数の値を確認する方法

現在のユーザーのパス リストを確認するには、次のいずれかのコマンドを使用します:

# set | grep PATH
PATH=/usr/local/sbin:/usr/local/bin:/sbin:/bin:/usr/sbin:/usr/bin:/root/bin
# echo $PATH
/usr/local/sbin:/usr/local/bin:/sbin:/bin:/usr/sbin:/usr/bin:/root/bin
# env | grep PATH
PATH=/usr/local/sbin:/usr/local/bin:/sbin:/bin:/usr/sbin:/usr/bin:/root/bin

特定のユーザーの PATH 変数に新しいディレクトリを追加する

~/.bash_profile を編集することで、新しいディレクトリをユーザーの PATH に追加できます。 または ~/.bashrc ユーザーのホームディレクトリにあるファイル。たとえば、通常、PATH は ~/.bash_profile で次のような行で設定されます:

# vi ~/.bash_profile
PATH=$PATH:$HOME/bin 
export PATH

パスに新しいディレクトリを追加するには (「/new_path」など)、PATH 行を末尾に追加して変更します。

# vi ~/.bash_profile
PATH=$PATH:$HOME/bin:/new_path           ### Notice the colon ':' between the directories

次に、PATH および EXPORT 行を ~/.bash_profile から ~/.bashrc にコピーして、ユーザーがマシンにログインする方法に関係なく、パスが適切に設定されるようにします。これらの変更に続いて、ユーザーが次回システムにログインしたときに、PATH にディレクトリ「/programs」が含まれるようになります。

現在のシェアに変更を適用

(ログアウトせずに) 現在の bash 端末のみに PATH を適用するには、以下のコマンドを実行できます:

$ . ~/.bash_profile
注意 :ログアウトしてからログインし直して、環境全体に表示されるようにすることをお勧めします。

すべてのユーザーの PATH 変数に新しいディレクトリを追加しています

グローバル パスは次のいずれかで更新できます:

1. /etc/profile.d/mypath.sh という名前の新しいファイルを追加する 以下を含む、すべてのユーザーのログイン時に実行される:

PATH=$PATH:/new_path

(注:この方法は、すべてのユーザー (既存のユーザーと将来のユーザー) に影響します。

2. /etc/skel/.bash_profile という名前のファイルを編集する このソリューションで前述したのと同じ方法で。

  • /etc/skel/ 内のファイルは、作成時に新しいユーザーのホーム ディレクトリにコピーされます。
  • 注:この方法は、既存のユーザー アカウントには影響しません。


Linux
  1. Linuxでユーザーパスワードを変更、削除、または無効にする方法

  2. Linuxでユーザー名を変更する方法

  3. LinuxシステムのIDを変更する方法

  1. Linux端末の色を変更する方法

  2. Linux でユーザー/グループの UID と GID を (正しく) 変更する方法

  3. Linux でデフォルトのシェルを変更する方法

  1. Linuxでusermodコマンドを使用する方法

  2. Linuxcdコマンドを使用してディレクトリを変更する方法

  3. Linuxでパスワードを変更する方法–ステップバイステップガイド