|
|
@ -0,0 +1,16 @@ |
|
|
|
#!/bin/bash |
|
|
|
|
|
|
|
echo "install on: $HOSTNAME" |
|
|
|
echo ---------------------- |
|
|
|
|
|
|
|
[ "$(id -u)" -eq 0 ] && echo 'normal user required: ie, not <root>!' && exit 1 |
|
|
|
|
|
|
|
if [[ ! $PWD == '/opt/debian-gnome' ]]; then |
|
|
|
# download and fullfill /opt/debian-bash, then run it from folder |
|
|
|
|
|
|
|
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 |