for your specific case: $ pathprepend /usr/local/sbinīut, unless readability is the concern, at this point you're better off just doing: $ export PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games
If you want the directory in your path, but without the redundancies, you could just use one of the other functions, e.g. This will remove each instance of that directory from your path. Simple usage is to just give pathremove the directory path to remove - but keep in mind that it has to match exactly: $ pathremove /home/username/anaconda3/bin This is intended to be used with these functions for adding to the path, so that you don't do it redundantly: pathprepend () $1" # path variable to be modified (default: PATH) Linux From Scratch has this function in /etc/profile # Functions to help us manage paths. Linux: Remove redundant paths from $PATH variable If you're using Bash, you can also do the following if, let's say, you want to remove the directory /home/wrong/dir/ from your PATH variable: PATH=`echo $PATH | sed -e 's/:\/home\/wrong\/dir\/$//'` bashrc, bash.bashrc, /etc/profile - whatever fits your system and user needs. That would be for the current session, if you want to change permanently add it to any. You just execute: export PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games
0 kommentar(er)
