これを入力すると、echo $PATH次のような結果が表示されます。
/usr/local/bin:/usr/bin:/bin:/usr/local/games:/usr/games
PATHしかし;を使用して変数ファイルを変更しましたが、gksudo gedit
/etc/environment今はPATH="/opt/texbin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games".
なぜ2つの異なる値を得ているのかわかりませんPATH。どうすれば解決できますか？
私はCroutonを使ってChromebookでXfceを実行しています。
ベストアンサー1
編集する
/etc/profileすべてのユーザーに影響を与えます。~/.bash_profile単一ユーザーの bash シェルに影響を与えます (bash 関連項目なので、これはありません)。~/.profileシングルユーザーとすべてのシェルに影響を与えます。
注: と が両方あり、.profilebash が両方を読み取るようにするには、次の場合には、未読のデフォルトに を追加する必要があります.bash_profile。. .profile.bash_profile.profile.bash_profile exists
存在するsudo
- エディタをrootとして実行しないでください。したがって、これをしないでください。
gksudo gedit «filename» - X11 アプリケーションを root として実行しないでください。したがって、これをしないでください。
gksudo gedit «filename» - 代わりに、
EDITOR=gedit sudoedit «filename»一時ファイルであるかのようにエディタを実行し、完了したら入力された内容をルートにコピーします。