equal
deleted
inserted
replaced
89 [ -d "$file" ] || continue |
89 [ -d "$file" ] || continue |
90 |
90 |
91 echo -n "${file#$dir/} " |
91 echo -n "${file#$dir/} " |
92 done |
92 done |
93 } |
93 } |
|
94 |
|
95 ## Get current unix (utc) timestamp |
|
96 function unix_time { |
|
97 date +'%s' |
|
98 } |