4 not
() { "$@" && exit 1 ||
:; }
11 echo hello world
> foo
/bar
12 echo hello world
> foo
/baz
14 darcs add foo foo
/bar foo
/dir foo
/baz
15 darcs record
-a -m add
17 darcs show files
--no-pending --no-dir > log
20 darcs show files
--no-pending --no-fil > log
24 darcs record
-a -m del
25 darcs show files
--no-pending --no-dir > log
26 not
grep 'foo/baz' log
27 not
grep 'foo/bar' log
28 darcs show files
--no-pending --no-fil > log
29 not
grep 'foo/dir' log