diff options
author | 2023-08-14 21:10:10 -0400 | |
---|---|---|
committer | 2023-08-14 21:10:10 -0400 | |
commit | 72072f740a2f0ff0b3b67c98cf10efb3d29407ac (patch) | |
tree | 20dba00135c7b93fc33b0e293bd6587d8b921b29 /configure | |
parent | 6f8741acd10ce1a1c85884ecdc0fd32f7f3ba330 (diff) | |
download | xfce4-panel-profiles-72072f740a2f0ff0b3b67c98cf10efb3d29407ac.tar.gz xfce4-panel-profiles-72072f740a2f0ff0b3b67c98cf10efb3d29407ac.zip |
New upstream version 1.0.14.upstream/1.0.14upstream/latest
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 10 |
1 files changed, 5 insertions, 5 deletions
@@ -1,7 +1,7 @@ #!/bin/sh APPNAME=xfce4-panel-profiles -VERSION=1.0.13 +VERSION=1.0.14 PYTHON=python3 @@ -27,16 +27,16 @@ while [ $# -gt 0 ]; do exit 0 ;; --prefix=*) - PREFIX=`echo $1 | sed 's/--prefix=//'` + PREFIX=${1#--prefix=} ;; --python=*) - PYTHON=`echo $1 | sed 's/--python=//'` + PYTHON=${1#--python=} ;; --mandir=*) - MANDIR=`echo $1 | sed 's/--mandir=//'` + MANDIR=${1#--mandir=} ;; --docdir=*) - DOCDIR=`echo $1 | sed 's/--docdir=//'` + DOCDIR=${1#--docdir=} ;; *) echo "Unknown option $1" |