User Tools

Site Tools


editors

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

editors [2019/03/06 08:47]
meesters created
editors [2019/03/06 09:04] (current)
meesters [Turning off Gtk Warnings]
Line 21: Line 21:
     if [ -n "​$*"​ ]; then     if [ -n "​$*"​ ]; then
  # write the real command to history without the prefix  # write the real command to history without the prefix
- # syntax adapted from http://​stackoverflow.com/​questions/​4827690 
  history -s "​$historyName ${@:​2}"​  history -s "​$historyName ${@:​2}"​
  
editors.txt · Last modified: 2019/03/06 09:04 by meesters