169 reputation
3
bio website
location Kyiv, Ukraine
age 26
visits member for 3 years, 1 month
seen Dec 18 at 6:28

Dec
14
comment Replace %20 with a space in filenames?
For anyone interested in possibilities of extended parameter substitution, I would suggest to read a relevant section at Greg's wiki.
Dec
14
comment Replace %20 with a space in filenames?
@DanijelJ, the "${x//%20/ }" part utilizes extended form of parameter expansion which is available in contemporary bash and other shells. Simple parameter expansion looks like ${parameter} and by adding various modificators after the parameter you can tell your shell to perform additional operations on parameter value. The ${parameter/pattern/string} form replaces a part of parameter that matches the pattern with the string, if pattern begins with / all matching parts are replaced.
Feb
13
awarded  Supporter
Jan
17
awarded  Nice Answer
Oct
29
awarded  Teacher
Oct
28
answered How can I get my external IP address in bash?