diff options
-rwxr-xr-x | Config | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -193,6 +193,7 @@ if [ ! "$NO_INTRO" ] ; then clear ;; esac + export MORE='-e' . $SOURCE_DIR/src/version.sh cat $SOURCE_DIR/.BANNER | sed "s/CURVER/$VERSION_MAJOR.$VERSION_MINOR.$VERSION_PATCH$VERSION_EXTRA/" | sed "s@SOURCE_DIR@$SOURCE_DIR@" | $PAGER echo "" |