diff options
author | Dieter Plaetinck <dieter@plaetinck.be> | 2009-02-22 17:29:59 +0100 |
---|---|---|
committer | Dieter Plaetinck <dieter@plaetinck.be> | 2009-02-22 17:29:59 +0100 |
commit | 71f5510aaaa20ae5ae9c773dca12028bd96aafdf (patch) | |
tree | c3dee60f77a5c2954bf0a9a4e73befd0b916460e /src/core/libs/lib-ui.sh | |
parent | f9126402b343aea8f2766bc16c10577b833b6703 (diff) | |
parent | f4bd7c36b44da0c9a5985868aa8b0183cd4414c8 (diff) |
pull in a shitload of fixes and some features from the experimental branch
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 |