„mint-config-update.sh“ ändern

2022-07-22 09:59:24 +02:00
1 parent f2d1fd91a5
commit 14679258ac
@@ -1,2 +1,5 @@
-#!/bin/bash
+#!/bin/bash -ex
 wget https://gitea.ds9.dedyn.io/olli/linux-mint/_edit/main/mint.sh -O /tmp/mint.sh
 cd /tmp
 bash -ex mint.sh