I try to make gap syntax checker for VIM. And it is necessary for me to exit from GAP after load the file.
I tried to use such call:
echo "quit;" | gap -T -q -b error.g
And GAP didn't exit from breaking loop.
I found not so good solution like this
cat error.g | gap -T -b -q
because if it success gap return any output.
--
Максим.
_______________________________________________
Forum mailing list
[email protected]
http://mail.gap-system.org/mailman/listinfo/forum
