new config option SHORTNAME

diff --git a/default_config.xml b/default_config.xml
index 492e609..c61eca1 100644 (file)
--- a/default_config.xml
+++ b/default_config.xml
@@ -29,6 +29,14 @@ $Id$
          PlanetLab Support).</description>
        </variable>
 
+       <variable id="shortname" type="string">
+         <name>Shortame</name>
+         <value>Tlab</value>
+         <description>The short name of this PLC installation. It is
+         mostly used in the web interface when displaying local
+         objects.</description>
+       </variable>
+
        <variable id="slice_prefix" type="string">
          <name>Slice Prefix</name>
          <value>pl</value>

diff --git a/plc-config-tty b/plc-config-tty
index 1e45cdc..1e07481 100755 (executable)
--- a/plc-config-tty
+++ b/plc-config-tty
@@ -35,6 +35,7 @@ def init_flavour (flavour):
     else:
         service="plc"
         usual_variables=("PLC_NAME",
+                         "PLC_SHORTNAME",
                          "PLC_SLICE_PREFIX",
                          "PLC_ROOT_USER",
                          "PLC_ROOT_PASSWORD",