diff options
author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2017-03-23 18:42:32 -0500 |
---|---|---|
committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2017-03-23 18:42:32 -0500 |
commit | 6c43a7f83723baf96cc20c220ae3df43462847fa (patch) | |
tree | 421a2733a165dca36a99ec11972673a6312f2c31 /libre/jedit/jeditbg.sh | |
parent | 2a9bf356b40690bfd9614c4e7b329ae366ed5c30 (diff) | |
download | abslibre-6c43a7f83723baf96cc20c220ae3df43462847fa.tar.gz abslibre-6c43a7f83723baf96cc20c220ae3df43462847fa.tar.bz2 abslibre-6c43a7f83723baf96cc20c220ae3df43462847fa.zip |
jedit-5.4.0-1.parabola1: updating version
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 "$@" |