390 reputation
210
bio website redtwitz.com
location Paraguay
age 30
visits member for 2 years, 10 months
seen yesterday

Mathematician. Power user. Coding enthusiast.

flair


2d
comment Are there cases where vi is the only option?
@Doorknobs: Numpads used to be more common than dedicated arrow keys.
Jul
12
comment gzip all files with specific extensions
@Sadik: `...` provides a string, not a list. for uses the internal field separator ($IFS) to decide where that string should be split. By default, it splits at linefeeds, tabs and spaces, so if you have a file called new style.css, the commands gzip new and gzip style.css will be executed.
Jul
11
comment gzip all files with specific extensions
-r works as designed. From man gzip: Travel the directory structure recursively. If any of the file names specified on the command line are directories, gzip will descend into the directory and compress all the files it finds there (or decompress them in the case of gunzip). (emphasis mine)
Jul
11
comment gzip all files with specific extensions
@Sadik: Be careful! This approach won't work if any of the files' names contains a space.
Mar
7
awarded  Commentator
Mar
7
comment Repeat a command every x interval of time in terminal?
Precisely my point. [[ true ]] makes it look it it's doing something it doesn't. That can be confusing to somebody unfamiliar with bash.
Mar
7
comment Repeat a command every x interval of time in terminal?
I'm not a big fan of while [[ true ]]. Sure, it works, but so would while [[ false ]].
Mar
3
revised wget and encoded URL
deleted 2 characters in body; added 48 characters in body
Mar
3
answered wget and encoded URL
Feb
25
comment Is it possible to move the dash home button?
Where exactly do you want to move it? At least in theory, it's possible to, e.g., swap the home and trash icon, but then you'd accidentally open the trash all the time...
Feb
22
awarded  Constituent
Feb
10
awarded  Caucus
Oct
7
comment How to map Ctrl/Shift to thumb buttons of Mouse?
while xinput query-state <device name> | grep -Flq 'button[9]=down' should do the trick.
Oct
7
comment How to map Ctrl/Shift to thumb buttons of Mouse?
That works well as far as mapping a button to a key goes. Sadly, it prevents the second mouse from getting recognized while the first one is held down.
Jun
27
revised Is there a virtual machine with direct access to CPU and GPU for gaming?
added 125 characters in body
Apr
19
awarded  Excavator
Apr
19
revised How do I use “Initiate Window Picker for window group” in Compiz?
copyable command, formatting
Apr
19
suggested suggested edit on How do I use “Initiate Window Picker for window group” in Compiz?
Apr
1
revised How can I enable java in Chromium?
corrected package name
Apr
1
suggested suggested edit on How can I enable java in Chromium?