File: randline

package info (click to toggle)
zsh 3.1.2-8
  • links: PTS
  • area: main
  • in suites: hamm
  • size: 3,628 kB
  • ctags: 3,582
  • sloc: ansic: 39,480; sh: 2,393; makefile: 1,189; perl: 329; awk: 257; sed: 25
file content (3 lines) | stat: -rwxr-xr-x 80 bytes parent folder | download | duplicates (6)
1
2
3
# get a random line from a file
integer z=$(wc -l <$1)
sed -n $[RANDOM%z+1]p $1