#!/bin/bash echo "install on: $HOSTNAME" echo ---------------------- [ "$(id -u)" -eq 0 ] && echo 'normal user required: ie, not !' && exit 1 if [[ ! $PWD == '/opt/debian-gnome' ]]; then if [[ ! -L /opt/debian-gnome ]]; then sudo rm -rf /opt/debian-gnome sudo git clone --depth=1 https://git.artcode.re/pvincent/debian-gnome /opt/debian-gnome fi /opt/debian-gnome/src/main fi