diff options
| author | Jörg Frings-Fürst <debian@jff.email> | 2022-02-14 21:26:55 +0100 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff.email> | 2022-02-14 21:26:55 +0100 |
| commit | 757ec55bee507c8bb2523302a08fd74d16540a83 (patch) | |
| tree | 7f5a936d5ee30fee01665c1ef6dee31e7256e21a /debian/1.sh | |
| parent | 43f33c72804e63306580755049c09d5a81ad83e3 (diff) | |
| parent | 14e37bc19c5065d445e0b2dc405c3144331c5660 (diff) | |
Merge branch 'release/debian/1.1.1-2'debian/1.1.1-2
Diffstat (limited to 'debian/1.sh')
| -rwxr-xr-x | debian/1.sh | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/debian/1.sh b/debian/1.sh new file mode 100755 index 0000000..9d8e101 --- /dev/null +++ b/debian/1.sh @@ -0,0 +1,12 @@ +#!/bin/sh +set -e + + + if [ ! -d /var/lib/saned ] ; then + echo /var/lib/saned not found + fi + + if [ -d /var/lib/saned ] ; then + echo /var/lib/saned found + fi + |