Move config.py to default_config.py and make deplay.bash not delete config.py on the remote

.gitignore

@@ -1,3 +1,3 @@
 *.pyc
 __pycache__
-config.ini
+config.py

README.md

@@ -24,8 +24,7 @@ When finished, you may run the server with:
     python3 main.py
 
 The server should now be available at `http://localhost:8080/`.
-You may change the address and port in the file named `config.py`
+You may change the address and port in the file named `config.py` which is copied from `default_config.py` when running `main.py` the first time
-
 
 ## Making Grzegorz run on boot
 

deploy.bash

@@ -10,14 +10,18 @@ array=(); while IFS= read -rd '' item; do array+=("$item"); done < \
 files_not_ignored=("${array[@]}")
 
 ssh -T "$TARGET" "
-	rm -rf $TARGET_PATH
+	mv -v '$TARGET_PATH/config.py' /tmp/grzegorz_config.py
-	mkdir -p $TARGET_PATH
+	rm -rfv $TARGET_PATH
+	mkdir -pv $TARGET_PATH
+	mv -v /tmp/grzegorz_config.py '$TARGET_PATH/config.py'
 	"
 
+echo '== Copying files to target: =='
 tar -c "${files_not_ignored[@]}" |
 	ssh -T "$TARGET" "
 	tar -vxC $TARGET_PATH
 	"
+echo '== DONE: =='
 
 ssh -T "$TARGET" "
 	systemctl --user restart grzegorz@0

main.py

@@ -1,6 +1,12 @@
 #!/usr/bin/env python3
+import os, shutil
 import asyncio
 import grzegorz
+
+basedir = os.path.dirname(os.path.abspath(__file__))
+if not os.path.exists(os.path.join(basedir, "config.py")):
+	print("copying default_config.py to config.py...")
+	shutil.copy(os.path.join(basedir, "default_config.py"), os.path.join(basedir, "config.py"))
 import config
 
 async def grzegorz_splash():