diff options
| author | jkh <jkh@FreeBSD.org> | 1995-02-02 23:09:30 +0000 |
|---|---|---|
| committer | jkh <jkh@FreeBSD.org> | 1995-02-02 23:09:30 +0000 |
| commit | a774afb3823e5707f5d1e69c11278fb45676b115 (patch) | |
| tree | a83fd566dc6e6ea7e5bd3c9b829937102c8e678b | |
| parent | af678f727c80d49362ad6f4ebdb43542683f083c (diff) | |
| download | FreeBSD-src-a774afb3823e5707f5d1e69c11278fb45676b115.zip FreeBSD-src-a774afb3823e5707f5d1e69c11278fb45676b115.tar.gz | |
Put the release number in the first banner - makes it easier to quickly
tell if I've muffed it.
| -rw-r--r-- | release/scripts/instdist.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/release/scripts/instdist.sh b/release/scripts/instdist.sh index cf32721..f6c6478 100644 --- a/release/scripts/instdist.sh +++ b/release/scripts/instdist.sh @@ -10,7 +10,7 @@ # putting your name on top after doing something trivial like reindenting # it, just to make it look like you wrote it!). # -# $Id: instdist.sh,v 1.9 1995/02/02 04:13:20 jkh Exp $ +# $Id: instdist.sh,v 1.10 1995/02/02 05:44:14 jkh Exp $ if [ "${_INSTINST_SH_LOADED_}" = "yes" ]; then return 0 @@ -311,7 +311,7 @@ media_select_distribution() MEDIA_DISTRIBUTIONS="" while [ "${MEDIA_DISTRIBUTIONS}" = "" ]; do - dialog --title "Please specify a distribution to load" \ + dialog --title "${DISTNAME}: Choose distributions" \ --checklist \ "FreeBSD is separated into a number of distributions for ease of\n\ installation. Please select the distributions you wish to load, any\n\ |
