| Index: tools/raspberry-pi2/raspbian-scripts/dartino-configuration
|
| diff --git a/tools/raspberry-pi2/raspbian-scripts/fletch-configuration b/tools/raspberry-pi2/raspbian-scripts/dartino-configuration
|
| similarity index 70%
|
| rename from tools/raspberry-pi2/raspbian-scripts/fletch-configuration
|
| rename to tools/raspberry-pi2/raspbian-scripts/dartino-configuration
|
| index bb972aaf3d680c6028dacd4f6d8e22dfdc7bfb91..40254978e1c86a7093bfac6a846a9a9a52cbb7ea 100644
|
| --- a/tools/raspberry-pi2/raspbian-scripts/fletch-configuration
|
| +++ b/tools/raspberry-pi2/raspbian-scripts/dartino-configuration
|
| @@ -4,7 +4,7 @@
|
| # BSD-style license that can be found in the LICENSE.md file.
|
|
|
| ### BEGIN INIT INFO
|
| -# Provides: fletch-configuration
|
| +# Provides: dartino-configuration
|
| # Required-Start: hostname mountall $syslog
|
| # Required-Stop:
|
| # Should-Start:
|
| @@ -19,19 +19,19 @@ PATH=/sbin:/bin
|
| . /lib/init/vars.sh
|
| . /lib/lsb/init-functions
|
|
|
| -CONFIGURATION_DIR=/boot/fletch-configuration
|
| -FLETCH_HOSTNAME_CONF="$CONFIGURATION_DIR/hostname"
|
| +CONFIGURATION_DIR=/boot/dartino-configuration
|
| +DARTINO_HOSTNAME_CONF="$CONFIGURATION_DIR/hostname"
|
| HOSTNAME_CONF="/etc/hostname"
|
| -FLETCH_HOSTS_CONF="$CONFIGURATION_DIR/hosts"
|
| +DARTINO_HOSTS_CONF="$CONFIGURATION_DIR/hosts"
|
| HOSTS_CONF="/etc/hosts"
|
|
|
| do_start () {
|
| # Copy from source to dest if source exists.
|
| - log_action_msg "Running fletch configuration manager"
|
| - if [ -f $FLETCH_HOSTNAME_CONF ]; then
|
| + log_action_msg "Running dartino configuration manager"
|
| + if [ -f $DARTINO_HOSTNAME_CONF ]; then
|
| log_action_begin_msg "Updating $HOSTNAME_CONF"
|
|
|
| - cp $FLETCH_HOSTNAME_CONF $HOSTNAME_CONF
|
| + cp $DARTINO_HOSTNAME_CONF $HOSTNAME_CONF
|
| chown root:root $HOSTNAME_CONF
|
| chmod 644 $HOSTNAME_CONF
|
|
|
| @@ -40,22 +40,22 @@ do_start () {
|
| ES=$?
|
| log_action_end_msg $ES
|
|
|
| - rm $FLETCH_HOSTNAME_CONF
|
| + rm $DARTINO_HOSTNAME_CONF
|
| fi
|
|
|
| - if [ -f $FLETCH_HOSTS_CONF ]; then
|
| + if [ -f $DARTINO_HOSTS_CONF ]; then
|
| log_action_begin_msg "Updating $HOSTS_CONF"
|
|
|
| - cp $FLETCH_HOSTS_CONF $HOSTS_CONF
|
| + cp $DARTINO_HOSTS_CONF $HOSTS_CONF
|
| chown root:root $HOSTS_CONF
|
| chmod 644 $HOSTS_CONF
|
|
|
| ES=$?
|
| log_action_end_msg $ES
|
|
|
| - rm $FLETCH_HOSTS_CONF
|
| + rm $DARTINO_HOSTS_CONF
|
| fi
|
| - log_action_msg "Done fletch configuration manager"
|
| + log_action_msg "Done dartino configuration manager"
|
| }
|
|
|
| do_status () {
|
| @@ -79,7 +79,7 @@ case "$1" in
|
| exit $?
|
| ;;
|
| *)
|
| - echo "Usage: fletch-configuration [start|stop]" >&2
|
| + echo "Usage: dartino-configuration [start|stop]" >&2
|
| exit 3
|
| ;;
|
| esac
|
|
|