diff options
| author | Diego Roversi <diegor@tiscali.it> | 2020-05-03 11:40:41 +0200 |
|---|---|---|
| committer | Diego Roversi <diegor@tiscali.it> | 2020-05-03 11:40:41 +0200 |
| commit | 4a2a48ee144ab2389e3006e9789b50402919e53e (patch) | |
| tree | dc784b36db82e86016ba488c9b9b76f1fd6f361e | |
| parent | 3233912b23e9ff794b918b13ec46c194f69ca0a8 (diff) | |
cleanstart.sh: a script for launching the program during debug session
| -rwxr-xr-x | cleanstart.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/cleanstart.sh b/cleanstart.sh new file mode 100755 index 0000000..d746c71 --- /dev/null +++ b/cleanstart.sh @@ -0,0 +1,3 @@ +killall python3 +rm BubBob.log +python3 BubBob.py
\ No newline at end of file |