Tag Info

New answers tagged


Its also a workaround, but you don't have to apply this for every application. Write this to your .bashrc and you can use this wrapper with F12 (or chose another key) to suppress the warnings: # output filter of() { if [ -n "$*" ]; then # write the real command to history without the prefix "of" history -s "$*" # catch the ...

Top 50 recent answers are included