equal
deleted
inserted
replaced
58 local path="$1" |
58 local path="$1" |
59 |
59 |
60 echo "$SRV/$path" |
60 echo "$SRV/$path" |
61 } |
61 } |
62 |
62 |
|
63 function _list { |
|
64 local glob="$1" |
|
65 local test="$2" |
|
66 local prefix="$3" |
|
67 |
|
68 for file in $glob; do |
|
69 [ $test "$file" ] || continue |
|
70 [ -n "$prefix" ] && file="${file#$prefix}" |
|
71 |
|
72 echo -n "$file " |
|
73 done |
|
74 } |
|
75 |
|
76 ## List names of all files in dir |
|
77 function list { |
|
78 _list "$1/*" '-e' ${2:-$1/} |
|
79 } |
|
80 |
63 ## List names of files in dir: |
81 ## List names of files in dir: |
64 # |
82 # |
65 # list_files $dir $glob |
83 # list_files $dir |
66 # |
84 # |
67 function list_files { |
85 function list_files { |
68 local dir="$1" |
86 _list "$1/*" '-f' ${2:-$1/} |
69 local glob="${2:-*}" |
|
70 local name= |
|
71 |
|
72 for file in $dir/$glob; do |
|
73 # only files |
|
74 [ -f "$file" ] || continue |
|
75 |
|
76 # strip prefix |
|
77 name=${file#$dir/} |
|
78 name=${name%$glob} |
|
79 |
|
80 echo -n "$name " |
|
81 done |
|
82 } |
87 } |
83 |
88 |
84 ## List names of dirs in dir: |
89 ## List names of dirs in dir: |
85 function list_dirs { |
90 function list_dirs { |
86 local dir="$1" |
91 _list "$1/*" '-d' ${2:-$1/} |
|
92 } |
87 |
93 |
88 for file in $dir/*; do |
94 ## List names of any files underneath dir or file: |
89 [ -d "$file" ] || continue |
95 function expand_files { |
90 |
96 _list "$1 $1/**" '-f' '' |
91 echo -n "${file#$dir/} " |
|
92 done |
|
93 } |
97 } |
94 |
98 |
95 ## Get current unix (utc) timestamp |
99 ## Get current unix (utc) timestamp |
96 function unix_time { |
100 function unix_time { |
97 date +'%s' |
101 date +'%s' |