diff options
Diffstat (limited to 'libre/jedit/jeditbg.sh')
| -rw-r--r-- | libre/jedit/jeditbg.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libre/jedit/jeditbg.sh b/libre/jedit/jeditbg.sh index a0de84cb2..f4d08ed27 100644 --- a/libre/jedit/jeditbg.sh +++ b/libre/jedit/jeditbg.sh @@ -1,3 +1,3 @@ -#!/bin/sh +#!/bin/bash # Runs jEdit in background-mode, ready to reuse the running instance jedit -background -reuseview "$@" |