253 reputation
1310
bio website
location
age
visits member for 2 years, 11 months
seen 17 hours ago

Sep
30
awarded  Curious
Jun
16
awarded  Notable Question
Aug
10
awarded  Popular Question
Jun
10
awarded  Famous Question
Mar
21
awarded  Nice Question
Feb
25
awarded  Popular Question
Dec
16
awarded  Yearling
Aug
27
awarded  Notable Question
Jun
26
accepted Search and replace with sed
May
2
awarded  Popular Question
Apr
10
accepted How to resize ext3 image files
Apr
10
asked How to resize ext3 image files
Apr
3
asked Search and replace with sed
Mar
16
asked How to create initrd.img from initrd.lz
Feb
28
comment Best way to swap filenames
let us continue this discussion in chat
Feb
28
comment Best way to swap filenames
thanks, i'll try that.
Feb
28
comment Best way to swap filenames
but running a command with && in java with runtime.exec() don't work. :(
Feb
28
comment Best way to swap filenames
see this stackoverflow.com/q/9475497/1068546
Feb
28
comment Best way to swap filenames
How's this? file1=1stfile && file2=2ndfile && temp="$(mktemp -dp /mnt/sdcard)" && mv "$file1" $temp && mv "$file2" "$file1" && mv $temp/"$file1" "$file2". It works. Thanks for your input.
Feb
28
asked Best way to swap filenames