111 reputation
5
bio website els.verg.es/xavier
location Barcelona, Spain
age 49
visits member for 2 years, 1 month
seen 9 hours ago

Oct
25
comment Tool which finds which process is causing the heavy hard drive activity?
Thanks! I learned that it can also be opened from the command line superuser.com/questions/65693/create-a-link-to-resource-monitor
Jul
29
revised Color blindness and Windows command prompt
Clarified that changing the background color is not enough
Jul
29
awarded  Student
Jul
29
asked Color blindness and Windows command prompt
Mar
13
comment gnu/screen: session-name in status-line
Thanks. The gnu-screen shipped on my OSX 10.8.5 is also 4.00.03
Jan
6
comment Reset colors on Windows command line (cmd)
color has on my environment the same effect as color 75 (purple on light gray), a combination that I set as the default in console's settings (and that I would like to remove now). color 07 turns my console into a scary white on red.
Nov
18
comment Getting gvim to show unicode
:set guifontwide=MingLiU:h10 (from stackoverflow.com/a/14613767/239408) is working for me
May
12
comment Bash: is there a way to search for a particular string in a directory of files?
Thanks a lot for making me aware of ack!
Apr
18
awarded  Informed
Apr
12
comment Autohotkey: remap dead key+letter combination
Thanks a lot for your time. No need to get into ugly scripts for me: I ended up finding a VNC server/viewer combo that dealt properly with international keyboards out of the box (RealVNC)
Apr
11
comment Autohotkey: remap dead key+letter combination
Thanks for the pointer. ~SC028 & a:: blablabla sort of works. Sort of. The usual way to type an accented char is press and release <kbd>´</kbd> and then press and release <kbd>a</kbd>. This only works if <kbd>´</kbd> is kept pressed, and I don't think I will be able to convince my fingers that this is the proper way to type accented chars
Apr
11
comment Autohotkey: remap dead key+letter combination
Thanks. Did not work. :*:e:: makes a beep, while :*:á:: or :*:´a:: do not.
Apr
10
comment Autohotkey: remap dead key+letter combination
Thanks! I added the Key History: it would be great if you could give me a hint of what should I be trying with them...
Apr
10
awarded  Editor
Apr
10
revised Autohotkey: remap dead key+letter combination
Added key history
Apr
10
awarded  Custodian
Apr
10
reviewed Approve Autohotkey: remap dead key+letter combination
Apr
10
asked Autohotkey: remap dead key+letter combination
Nov
8
awarded  Supporter