Когда я выполняю $PATH на своем терминале в Ubuntu 18.04.3, это отображает следующее:
/home/ubuntu/bin:/home/ubuntu/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games:/snap/bin
Первая часть $PATH (/home/ubuntu/bin
) обнаруживается дважды. Почему?
Я попробовал:
grep PATH= ~/.{bash_profile,profile,bashrc}
и добрался:
grep: /home/ubuntu/.bash_profile: No such file or directory
/home/ubuntu/.profile: PATH="$HOME/bin:$PATH"
/home/ubuntu/.profile: PATH="$HOME/.local/bin:$PATH"
/home/ubuntu/.bashrc:export PATH="$HOME/bin:$PATH"
Удаление export PATH="$HOME/bin:$PATH"
директива от /home/ubuntu/.bashrc
файл решил проблему, начиная с PATH="$HOME/bin:$PATH"
уже покрыт PATH="$HOME/bin:$PATH"
в /home/ubuntu/.profile
файл.
Я использую Stephen Collyer bash_path_funcs
, описанный в Журнале Linux путь назад в 2000, но ссылки больше не работает.
Эта ссылка работает сегодня (2020 03 марта):
http://web.archive.org/web/20061213023831/http://www.netspinner.co.uk/Resources.html
addpath
функция добавляет запись в путь, только если это не там во-первых. delpath -n
удаляет все несуществующие каталоги из пути, и uniqpath
удаляет дублирующиеся записи.. ~ ~