236 reputation
18
bio website
location
age
visits member for 1 year, 8 months
seen 2 days ago

Area51 proposal: Semantic Web


Apr
4
revised What is the correct name for the “>” command
added tag "terminology"
Apr
4
suggested suggested edit on What is the correct name for the “>” command
Mar
31
revised How to tell which file is original if hard link is created
retagged; formatted
Mar
31
suggested suggested edit on How to tell which file is original if hard link is created
Mar
16
accepted “Unknown terminal type” error when trying to run emacsclient
Mar
16
comment “Unknown terminal type” error when trying to run emacsclient
@Gilles: I added the requested info at the end of my question.
Mar
16
revised “Unknown terminal type” error when trying to run emacsclient
added requested info
Mar
15
comment “Unknown terminal type” error when trying to run emacsclient
@Mikel: I can start emacs (opens the GUI) and emacs -nw (opens in the terminal) without errors.
Mar
15
revised “Unknown terminal type” error when trying to run emacsclient
(edit conflict)
Mar
15
asked “Unknown terminal type” error when trying to run emacsclient
Feb
19
accepted Long(est) security update support for stable GNU/Linux distributions?
Jan
2
comment Change the size of a specific context menu entry?
@terdon: For example, the context menu of a track in Quod Libet: it contains the entry "Edit tags", which I want to become bigger than the other entries. I figured that if it’s possible at all, the solution should work for all GTK+ programs in the same way, so I didn’t include the specific program in my question. Is this a wrong assumption?
Jan
2
comment Change the size of a specific context menu entry?
I’m not sure if this would depend on OS or DE (I thought I could keep the question general by not narrowing it down), but if it’s important: I’m using Debian with XFCE (but I’m interested in GNOME 2, too).
Jan
2
asked Change the size of a specific context menu entry?
Dec
27
revised Is sudo not installed by default in Debian?
added tag "sudo"
Dec
27
suggested suggested edit on Is sudo not installed by default in Debian?
Nov
24
awarded  Yearling
Nov
24
awarded  Organizer
Nov
24
revised Good distribution for Gnome shell
retagged: added specific gnome tags
Nov
24
asked Long(est) security update support for stable GNU/Linux distributions?