5,280 reputation
11726
bio website mikelward.com
location Mountain View, CA
age 34
visits member for 5 years, 2 months
seen Dec 12 at 15:17

Computer guy from Australia now living in the US.

Part sysadmin, part developer, part web developer.

My name is pronounced like "Michael".


Nov
18
awarded  Good Answer
Nov
18
comment Bash: detect execute vs source in a script?
Indeed, thanks. I fixed it by adding '--'.
Nov
18
revised Bash: detect execute vs source in a script?
add -- to end option processing in case $0 starts with a -
Nov
6
awarded  Disciplined
Nov
2
comment Searching for a specific option in a man page
Ha ha! Thanks! Also note that I renamed the script to he, as in "short help". The latest version is on github
Oct
24
awarded  Yearling
Sep
30
awarded  Explainer
Aug
21
awarded  Necromancer
Aug
20
comment Ubuntu/ Gnome : Open an application in a specific workspace
The OP said the browser goes on workspace four. If it needed to be possible to open browsers on other workspaces after the session startup script runs, the last command in that script could be sleep; pkill devilspie.
Aug
20
revised Ubuntu/ Gnome : Open an application in a specific workspace
deleted 1 character in body
Jun
3
awarded  bash
Jun
2
awarded  Enlightened
Jun
2
awarded  Nice Answer
Apr
21
comment How do I copy file named starting with a dot?
And the example I give using -R should work just fine too. If you think it's wrong, please explain why.
Apr
21
comment How do I copy file named starting with a dot?
That's only a problem if you use -r. Without -r, it will just skip the directories.
Mar
20
answered Bash: detect execute vs source in a script?
Mar
16
awarded  Enlightened
Mar
16
awarded  Nice Answer
Mar
11
comment bash 4.2 autocd command default over directory
How about getting into the habit of always typing a slash at the end when you mean a directory? /tmp/ is still two characters shorter than cd /tmp, and it's unambiguous.
Mar
3
awarded  Necromancer