Reputation
1,529
Top tag
Next privilege 2,000 Rep.
Edit questions and answers
Badges
3 14 31
Newest
 Yearling
Impact
~109k people reached

Jul
31
awarded  Yearling
Jul
12
revised Difference between Current and RC Kernels?
General cleanup
Jul
12
suggested approved edit on Difference between Current and RC Kernels?
Jul
7
awarded  Popular Question
Jun
4
awarded  Popular Question
Jun
1
comment Is dash or some other shell “faster” than bash?
My conclusion was using ksh93 too. It is under the Common Public License, which has been approved by the FSF.
May
29
awarded  Taxonomist
May
20
comment vte.sh does not keep my gnome-terminal directory in new tab
I forgot to mention that, but roxterm, which is very similar to gnome-terminal, has this functionality by default. On Debian/Ubuntu, the package to install is roxterm-gtk3 or roxterm-gtk2.
May
19
accepted Extracting unique piece of text from file with awk, sed or grep
May
19
revised Extracting unique piece of text from file with awk, sed or grep
added 7 characters in body
May
19
asked Extracting unique piece of text from file with awk, sed or grep
May
19
awarded  Custodian
May
19
awarded  Notable Question
May
18
comment Make bash use external `time` command rather than shell built-in
The last part of your answer is wrong. time is not a shell builtin, but rather a shell keyword. builtin time doesn't work.
May
18
awarded  Notable Question
Apr
21
awarded  Popular Question
Apr
18
awarded  Popular Question
Apr
11
accepted Perl non-greedy regex matching more than it should
Apr
10
asked Perl non-greedy regex matching more than it should
Mar
19
awarded  Famous Question