2020-04-16 15:08:07 -04:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
|
|
|
|
# The following script is used when resetting the server
|
|
|
|
|
# Currently every 24 h
|
|
|
|
|
|
2021-07-10 11:12:15 -04:00
|
|
|
pkill -9 init.sh
|
|
|
|
|
pkill -9 schematics.sh
|
|
|
|
|
pkill -9 server.sh
|
|
|
|
|
pkill -9 java
|
2020-04-16 15:08:07 -04:00
|
|
|
|
2021-07-10 15:56:28 -04:00
|
|
|
# Sync changes with the github repository
|
|
|
|
|
cd ~/server-default
|
|
|
|
|
git pull
|
|
|
|
|
|
2020-04-16 18:01:58 -04:00
|
|
|
chmod -R 777 ~/server/
|
2020-04-16 15:08:07 -04:00
|
|
|
rm -rf ~/server/*
|
|
|
|
|
cp -Tr ~/server-default/ ~/server/
|
2020-04-16 15:17:16 -04:00
|
|
|
|
