diff options
| author | René Neumann <rene.neumann@in.tum.de> | 2011-11-21 14:46:34 +0100 |
|---|---|---|
| committer | René Neumann <rene.neumann@in.tum.de> | 2011-11-21 14:46:45 +0100 |
| commit | 3439bdcb47f41a06d2d6568defc7bbc11c262058 (patch) | |
| tree | 3358b62ef995b54bf9d57b6e318db4e9260e7071 /.zsh/functions | |
| parent | f3193b1dd9ebd3f24ec5d470302ac6b847d175a1 (diff) | |
| download | dotfiles-3439bdcb47f41a06d2d6568defc7bbc11c262058.tar.gz dotfiles-3439bdcb47f41a06d2d6568defc7bbc11c262058.tar.bz2 dotfiles-3439bdcb47f41a06d2d6568defc7bbc11c262058.zip | |
Added support for jedit.
Diffstat (limited to '.zsh/functions')
| -rw-r--r-- | .zsh/functions/IE | 14 | ||||
| l--------- | .zsh/functions/IJ | 1 |
2 files changed, 11 insertions, 4 deletions
diff --git a/.zsh/functions/IE b/.zsh/functions/IE index d7832fd..c65c93b 100644 --- a/.zsh/functions/IE +++ b/.zsh/functions/IE @@ -1,7 +1,13 @@ -# default arguments to isabelle emacs -readonly defargs="-x true -m iff" readonly default="HOL" -local file logic +local file logic program defargs + +if [[ $0 == "IJ" ]]; then + program="jedit" + defargs="" +else + program="emacs" + defargs="-x true -m iff" +fi # safety check to avoid failing later on if [[ ! -x =isabelle ]]; then @@ -70,6 +76,6 @@ if [[ -z $logic ]]; then fi # AAAAND ... FIRE! -isabelle emacs ${=defargs} "$@" -l $logic $file +isabelle ${program} ${=defargs} "$@" -l $logic $file # vim: ft=zsh diff --git a/.zsh/functions/IJ b/.zsh/functions/IJ new file mode 120000 index 0000000..ae92333 --- /dev/null +++ b/.zsh/functions/IJ @@ -0,0 +1 @@ +IE
\ No newline at end of file |