4,963 reputation
716
bio website e-choroba.blogspot.cz
location Czech Republic
age 38
visits member for 2 years, 8 months
seen 3 hours ago

Bash, Perl, Linux. Programming & teaching.


4h
answered Is there a way to express fixed size loops as loop-less expansion statement in bash?
6h
answered How do I change emacs application name from “Emacs” to something else in OSX?
Sep
18
comment bash how to remove options from parameters after processing
Once I need something complicated, I switch from bash to Perl.
Sep
18
awarded  shell
Sep
17
answered Can I specify a redirected input before a compound command?
Sep
17
comment how to insert seperate lines ( elemnts ) in parameter
stackoverflow.com/q/25890530/1030675
Sep
12
comment How to use a variable plus glob ($var*) in bash
Have you tested it? The * is expanded in the test where there are no quotes. In the assignment, the quotes don't matter.
Sep
12
comment How to use a variable plus glob ($var*) in bash
Do you run the script from the directory where the file resides?
Sep
12
comment How to use a variable plus glob ($var*) in bash
How many files match the wildcard pattern?
Sep
10
comment How can I force bash to deallocate a brace expanded variable without name?
Also, for larger lists, use for (( i=1 ; i<=100000000 ; i++ )) ; do
Sep
9
comment Go up one level from a nonexistent path
@drewbenn: Right, just prepend [[ $dir == */* ]] || exit.
Sep
8
answered Go up one level from a nonexistent path
Sep
4
answered How to replace the third character in number to other character
Sep
4
comment Save lines to different files based on the date
@Markus: Ask Gilles, he added those :-) Or read mywiki.wooledge.org/BashFAQ/001 and unix.stackexchange.com/q/65803/13792
Sep
3
revised Save lines to different files based on the date
added 2 characters in body
Sep
3
revised Save lines to different files based on the date
added 150 characters in body
Sep
3
comment Save lines to different files based on the date
@Markus: OK, removed Perl.
Sep
3
comment Save lines to different files based on the date
I replaced cat with the for loop.
Sep
3
answered Save lines to different files based on the date
Sep
3
comment Save lines to different files based on the date
Oh, wait, I understand the question now.