diff options
author | David Wührer <def@gmx.at> | 2022-11-03 19:23:18 +0100 |
---|---|---|
committer | David Wührer <def@gmx.at> | 2022-11-03 19:23:18 +0100 |
commit | be555f29f47f81993c12bf76065a0cb6bb0fee96 (patch) | |
tree | eb5991d8b0309609746fe612068faeadf0c52e0b /all | |
parent | e60829f7b9c61dc870173a8dd8f2f85c17517ec4 (diff) |
Add a few old things.
Diffstat (limited to 'all')
-rwxr-xr-x | all | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -0,0 +1,6 @@ +#!/bin/bash + +for i in $(seq 1 $#) +do + [[ ${!i} ]] || exit 1 +done |