diff options
Diffstat (limited to 'Functions/randline')
-rwxr-xr-x | Functions/randline | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/Functions/randline b/Functions/randline deleted file mode 100755 index 9af714fa2..000000000 --- a/Functions/randline +++ /dev/null @@ -1,3 +0,0 @@ -# get a random line from a file -integer z=$(wc -l <$1) -sed -n $[RANDOM%z+1]p $1 |