diff options
Diffstat (limited to 'packages/ivman/files/ivman-launch.patch')
-rw-r--r-- | packages/ivman/files/ivman-launch.patch | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/packages/ivman/files/ivman-launch.patch b/packages/ivman/files/ivman-launch.patch new file mode 100644 index 0000000000..7c3176ae2c --- /dev/null +++ b/packages/ivman/files/ivman-launch.patch @@ -0,0 +1,30 @@ +--- ivman-0.6.14/ivman-launch.orig 2008-09-29 11:58:49.000000000 +0300 ++++ ivman-0.6.14/ivman-launch 2008-09-29 12:02:17.000000000 +0300 +@@ -1,11 +1,10 @@ +-#!/bin/bash ++#!/bin/sh + # This script was written by Daniele Favara <danjele@gmail.com> + # + CMD=ivman + CONFDIR= # the config dir | null + EXITWITH= + SESSION= +-set -x + while [ ! -z "$1" ];do + case "$1" in + --help|-h) +--- ivman-0.6.14/ivman-launch.orig 2008-09-29 11:58:49.000000000 +0300 ++++ ivman-0.6.14/ivman-launch 2008-09-29 12:02:17.000000000 +0300 +@@ -1,11 +1,10 @@ +-#!/bin/bash ++#!/bin/sh + # This script was written by Daniele Favara <danjele@gmail.com> + # + CMD=ivman + CONFDIR= # the config dir | null + EXITWITH= + SESSION= +-set -x + while [ ! -z "$1" ];do + case "$1" in + --help|-h) |