Comments | calcnerd256: more natural language at the command line

calcnerd256

Dec 18, 2007 02:36

sudo ln `which apropos` /usr/bin/how

Comments 4

piratezim December 19 2007, 01:05:37 UTC

what would acl2 do? (WWACL2D?)

calcnerd256 December 19 2007, 02:28:57 UTC

calcnerd256 January 26 2008, 20:07:22 UTC

they used to make fun of me for liking java
now it's acl2

calcnerd256 March 6 2009, 23:11:41 UTC

one can also use alias