Reputation
309
Top tag
Next privilege 500 Rep.
Access review queues
Badges
1 3
Impact
~12k people reached

  • 0 posts edited
  • 0 helpful flags
  • 4 votes cast
Dec
6
comment Bash autocomplete for different directories
Doesn't answer your question directly, but something you can look into for changing directories quickly is: github.com/rupa/z
Dec
5
comment force wget timeout
@kojiro depending on implementation, technically pids can get reused; so it's theoretically possible for it to hit another process.
Dec
5
comment force wget timeout
Rewrote the script to make it a bit more robust and address the skipping of sleep times issue
Nov
15
comment How do I get cd to switch to the full path when following symbolic links?
@Kent ah; what I was suggesting was to do it w/o symlinks period.
Nov
15
comment How do I get cd to switch to the full path when following symbolic links?
+1; fantastic, this is exactly what I tried to find before.
Nov
11
comment My user name is not displayed when I launch the terminal
what does it say when you issue whoami on the prompt?
Nov
10
comment How to cut a file into pieces more efficiently?
@JackWM How did you go about deleting the temporary files? Was it something like rm output_file_prefix_*?