133 reputation
7
bio website
location
age
visits member for 4 years, 10 months
seen yesterday

Jul
28
awarded  Popular Question
Jan
6
asked How to upload configuration files using the shell provider?
Nov
20
accepted Is there some place to put custom functions which are then sourced at startup?
Nov
19
revised Is there some place to put custom functions which are then sourced at startup?
deleted 1 characters in body
Nov
19
asked Is there some place to put custom functions which are then sourced at startup?
Jun
12
comment How to make folders 00-99 with a single command in Ubuntu?
+1 Should be the accepted answer IMHO. Not only is this idiomatic Bash, it doesn't require using an external program (which seq is).
Feb
2
comment Why does DNS work the way it does?
+1 That is one awesome explanation. Will definitely bookmark this!
May
8
awarded  Teacher
Apr
29
comment Can scp copy directories?
+1 Very nice, always used scp but will give it a try.
Apr
20
accepted Server-specific environment variables - /etc/profile or /etc/profile.d
Apr
20
asked Server-specific environment variables - /etc/profile or /etc/profile.d
Apr
20
comment Configuring Jetty as a service - how?
Thx, that should solve all my problems :-).
Apr
20
accepted Configuring Jetty as a service - how?
Apr
20
asked Configuring Jetty as a service - how?
Dec
2
accepted Teaching total beginners who prior worked with Windows only bash?
Nov
30
awarded  Student
Nov
30
awarded  Supporter
Nov
30
revised Teaching total beginners who prior worked with Windows only bash?
added 87 characters in body; edited tags
Nov
30
asked Teaching total beginners who prior worked with Windows only bash?
Jan
21
accepted How to resolve a path's correct ending?