merge changes #4

Manually merged
chopin42 merged 3 commits from dev into master 2019-10-08 08:29:17 +00:00
Showing only changes of commit 1c9799314a - Show all commits

@ -13,6 +13,10 @@ for file in os.listdir('.'):
os.system("sudo ./*.AppImage")
os.system("./*.AppImage")
# os.system("sudo rm *.AppImage")
elif fnmatch.fnmatch(file, '*.run'):
os.system("sudo chmod +x *.run")
os.system("sudo ./*.run")
os.system("./*.run")
elif fnmatch.fnmatch(file, '*.sh'):
os.system("chmod +x *.sh")
os.system("sudo sh *.sh")