A guide to learn bash
created at April 1, 2017, 7:38 a.m.
306 -1
11,593 +10
997 -1
Master the command line, in one page
created at May 20, 2015, 3:11 p.m.
2,834 -2
148,763 +213
14,272 +20
My sed scripts.
created at Feb. 12, 2013, 7:22 p.m.
5 +0
43 +0
4 +0