This link has been bookmarked by 76 people . It was first bookmarked on 15 Jul 2006, by Seth.
-
05 Apr 16
-
07 Jul 14
-
05 Jul 14
-
14 Jun 13
-
08 May 13
-
23 Dec 12
-
11 Jul 12
-
Sed is a stream editor
-
:docs / you must read these docs to understand the sed world /{ r THE SED FAQ by Eric Pement r SED FAQ by DREAMWVR.COM r The sed one-liners by Eric Pement r GNU sed info by FSF r The sed man page by The Open Group r sed, a stream editor by Ken Pizzini r Sed by example, Part 1 by Daniel Robbins r Do it with sed by Carlos Jorge G. Duarte r An introduction to sed by Andrew M. Ross r A Non-interactive Text Editor by Lee E. McMahon r Introduction to Unix's SED editor by F. Curtis Michel r Tips on using sed on MS-DOS by Benny Pedersen r Using sed to create a book index by Eric Pement r Doing if/elseif/else with sed by Eric Pement r Example of state machine in sed by Carlos Jorge G. Duarte r Program state in sed by Greg Ubben r Using lookup tables with s/// by Greg Ubben r A lookup-table counter by Greg Ubben r How to count words by Greg Ubben r How add numbers by Greg Ubben r Analyzing a sed SQL interpreter by Simon Taylor
-
-
10 Jun 12
-
05 Jun 12
-
16 May 12
-
27 Nov 10
-
11 Aug 10
-
15 Jul 10
-
11 Mar 10
-
27 Jan 10
-
26 Jan 10
-
13 Dec 09
-
09 Dec 09
-
03 Dec 09
-
31 Aug 09
-
09 Jun 09
Neal AggarwalSed is a stream editor. A stream editor is used to per- \ form basic text transformations on an input stream (a file \ or input from a pipeline). While in some ways similar to \ an editor which permits scripted edits (such as ed), sed \ works by making on
-
07 Feb 09
-
25 Dec 08
-
02 Dec 08
-
-
21 Nov 08
-
06 Aug 08
-
06 Feb 08
-
30 Nov 07
-
29 Oct 07
-
09 Aug 07
-
30 Jul 07
-
11 Jun 07
-
28 Apr 07
-
22 Jan 07
-
25 Oct 06
-
27 Jun 06
viniciusjlSed is a stream editor. A stream editor is used to perform basic text transformations on an input stream (a file or input from a pipeline). While in some ways similar to an editor which permits scripted edits (such as ed), sed works by making only
-
06 Jun 06
-
13 Mar 06
-
16 Jan 06
-
12 Dec 05
-
14 Nov 05
-
24 Oct 05
-
09 Aug 05
-
21 Apr 05
-
16 Feb 05
-
10 Sep 03
Would you like to comment?
Join Diigo for a free account, or sign in if you are already a member.