64 reputation
7
bio website
location
age
visits member for 1 year, 9 months
seen Apr 16 at 7:12

Oct
23
awarded  Commentator
Oct
23
comment How to get multiple lines out of a file by a regex?
This works well except in the case where there are more than one <tag1> containing "foo". In that case it prints every thing from the beginning of the first <tag1> to the end of the last </tag1>...
Oct
22
comment How to get multiple lines out of a file by a regex?
@NathanWallace Actually I tried to do this more than once already and it wasn't always a XML file. I extended the question about that.
Oct
22
awarded  Editor
Oct
22
revised How to get multiple lines out of a file by a regex?
Extended description of the original content to parse.
Oct
21
comment How to get multiple lines out of a file by a regex?
Thanks, but no. This is only a example and the real stuff looks pretty unpredictable ;-)
Oct
21
asked How to get multiple lines out of a file by a regex?
Oct
12
awarded  Popular Question
Jun
6
comment How to do a “if not” in Bash without a test?
That works great - except that $? is changed as well. But thats how the system works I guess...
Jun
6
comment How to do a “if not” in Bash without a test?
The echoing is only to illustrate the example. The real script is only about the if...
Jun
6
asked How to do a “if not” in Bash without a test?
Jun
6
answered How to do a “if not” in Bash without a test?
Nov
23
awarded  Supporter
Sep
20
awarded  Teacher
Sep
20
asked How to get the PID from a spawned process in expect?
Sep
20
awarded  Scholar
Sep
20
comment How to change the volume name of a FAT32 filesystem?
It didn't work whit lower case letters. And after use, I got errors on the file system....
Sep
20
accepted How to change the volume name of a FAT32 filesystem?
Sep
20
answered How to change the volume name of a FAT32 filesystem?
Aug
17
comment How to change the volume name of a FAT32 filesystem?
@Matteo Thanks for confirming I'm not completely silly ;-) The device I try to rename is a 15.9 GB FAT32 formated SD card.