Skip to content

Instantly share code, notes, and snippets.

@jillesvangurp

jillesvangurp/jedit_dot_profile_snippet.sh

Created June 2, 2011 14:12
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save jillesvangurp/1004521 to your computer and use it in GitHub Desktop.
Save jillesvangurp/1004521 to your computer and use it in GitHub Desktop.
Download ZIP
Start Jedit from the command line
Raw
jedit_dot_profile_snippet.sh
# bash function for opening files in jedit (http://www.jedit.org/) from the command line
# copy the line below in your .profile or .bashrc
# the nohup can be used to avoid closing the editor when you close the terminal window from which you launch
function jedit() { nohup java -Xms15M -jar /Applications/jEdit.app/Contents/Resources/Java/jedit.jar -reuseview "$@" > /dev/null 2> /dev/null &}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment