diff options
| author | Dieter Plaetinck <dieter@plaetinck.be> | 2008-12-20 18:47:34 +0100 |
|---|---|---|
| committer | Dieter Plaetinck <dieter@plaetinck.be> | 2008-12-20 18:47:34 +0100 |
| commit | 0c714356dc7f78892ca413ce1895d7d9dfa83c5c (patch) | |
| tree | c6f7dd54ae2f9961ec4529b5d222ef46a0a784ee /src/core/libs/lib-ui.sh | |
| parent | 78bbe06321a9724311449a38ea9134d227d95a98 (diff) | |
fix for incorrect shebangs
Diffstat (limited to 'src/core/libs/lib-ui.sh')
| -rw-r--r-- | src/core/libs/lib-ui.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/core/libs/lib-ui.sh b/src/core/libs/lib-ui.sh index ac73b3e..2315394 100644 --- a/src/core/libs/lib-ui.sh +++ b/src/core/libs/lib-ui.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # TODO: implement 'retry until user does it correctly' everywhere # TODO: at some places we should check if $1 etc is only 1 word because we often depend on that # TODO: standardize. eg everything $1= question/title, $2=default |