hi
till now (1.0.4 release) i had a simple script:
if darcs --commands 2>&1|grep -q add; then
echo "inside a repo"
else
echo "outside a repo"
fi
but now (with 1.0.4) it reports always "inside a repo", as darcs --commands
lists
"add" outside a repo, too
is there any reason why it does? maybe this is a bug?
udv / greetings,
VMiklos
--
Developer of Frugalware Linux, to make things frugal - http://frugalware.org
_______________________________________________
darcs-users mailing list
[email protected]
http://www.abridgegame.org/mailman/listinfo/darcs-users