Linux urldecode filenameThe idea here is to turn '+'s into spaces directly, and turn % signs into '\x' escapes, and then let echo interpret the \x escapes using the '-e' option. Try running "echo -e 'hello\x20world'" to see this in action.

Nov29

comment

Router on Ubuntuxxx.xxx.xxx.xxx shows up twice in your interfaces file, but it should only appear once. You should have a separate address yyy.yyy.yyy.yyy for either you address or gateway (i.e., they can't have the same value). Is this true?

Nov25

comment

Shortcut for reset on bashAre you saying that when /usr/bin/reset when invoked via Ctrl+A, it operates differently than when you run it by typing its name?