diff options
| author | Jörg Frings-Fürst <debian@jff.email> | 2022-02-24 07:34:54 +0100 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff.email> | 2022-02-24 07:34:54 +0100 |
| commit | 4702f9548612bf7a82d0e0195c0b6428f1c4553a (patch) | |
| tree | 48b54593c66d285d35b9dbc7d1ca11f4da34d356 /debian/1.sh | |
| parent | 757ec55bee507c8bb2523302a08fd74d16540a83 (diff) | |
| parent | 425490576efeef5d57889a5a7f4accaee9afdcd7 (diff) | |
Merge branch 'release/debian/1.1.1-3'debian/1.1.1-3
Diffstat (limited to 'debian/1.sh')
| -rwxr-xr-x | debian/1.sh | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/debian/1.sh b/debian/1.sh deleted file mode 100755 index 9d8e101..0000000 --- a/debian/1.sh +++ /dev/null @@ -1,12 +0,0 @@ -#!/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 - |