缩略语
www.un.org/Depts/DGACM/index_french.htm *:技能*:pushd *:popd:bash *:yaourt *:pacman *:upd
All what i want is to keep these commands in history for current bash session and to ignore them in subsequent sessions. Other commands (not in the HISTIGNORE) should be in .bash_history file. Example (pushd in $HISTIGNORE, cd not)
pushd /home/
(Ctrl-R)push(Enter) -> pushd /home
cd /usr/src
bash
(Ctrl-R)push(Enter) -> (Anything but pushd)
(Ctrl-R)cd(Enter) -> cd /usr/src
是否有解决这些问题的办法?