diff options
| author | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2012-08-21 22:02:34 +0200 |
|---|---|---|
| committer | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2012-08-21 22:02:34 +0200 |
| commit | 604443f72de4aea8ff83560e28b11991ca59dd88 (patch) | |
| tree | d48d5b9c709d36576de70745e44edc4867b3bd88 /internet-kiosk-management | |
| parent | d911015f863878602f31c70e9cd2ca42969be86b (diff) | |
| download | internet-kiosk-604443f72de4aea8ff83560e28b11991ca59dd88.tar.gz internet-kiosk-604443f72de4aea8ff83560e28b11991ca59dd88.tar.bz2 internet-kiosk-604443f72de4aea8ff83560e28b11991ca59dd88.zip | |
Add IK_PRETTY_NAME and IK_DISTRO_CODENAME to settings preview before running commands.
Diffstat (limited to 'internet-kiosk-management')
| -rw-r--r-- | internet-kiosk-management/etc/ik_settings | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/internet-kiosk-management/etc/ik_settings b/internet-kiosk-management/etc/ik_settings index 6de91d6..ad2c03d 100644 --- a/internet-kiosk-management/etc/ik_settings +++ b/internet-kiosk-management/etc/ik_settings @@ -60,11 +60,13 @@ echo "=============================================" echo "The Internet Kiosk Diskless Terminal Environment is using the following" echo "settings:" echo +echo "IK_PRETTY_NAME=$IK_PRETTY_NAME" echo "IK_BASE=$IK_BASE" echo "IK_CONFIG=$IK_CONFIG" echo "IK_CHROOT=$IK_CHROOT" echo "IK_SHELL=$IK_SHELL" echo "IK_DEBMIRROR_URL=$IK_DEBMIRROR_URL" +echo "IK_DISTRO_CODENAME=$IK_DISTRO_CODENAME" echo "IK_EXTRA_DEBURL=$IK_EXTRA_DEBURL" echo "IK_HTTP_PROXY=$IK_HTTP_PROXY" echo "IK_HTTPS_PROXY=$IK_HTTPS_PROXY" |