165 reputation
110
bio website
location
age
visits member for 2 years, 11 months
seen Aug 11 at 15:32

Aug
9
asked Analyse performance / profile Android System? Why is the system slow?
Aug
9
comment faster alternative to firefox tab groups
And this feature is no more available? Or do you mean the session feature?
Jul
2
awarded  Curious
Jun
5
comment faster alternative to firefox tab groups
How does TabMixPlus help here?
Jun
5
answered faster alternative to firefox tab groups
May
25
awarded  Popular Question
Jan
22
awarded  Popular Question
Nov
5
revised How to perform actions on current window in keybindings?
more information about minimizeWindo
Nov
5
comment How to perform actions on current window in keybindings?
You are right, this function comes from xmonad-contrib: xmonad.org/xmonad-docs/xmonad-contrib/…
Nov
4
asked How to perform actions on current window in keybindings?
Jan
18
accepted Arch Linux: colors from terminal in bash script?
Jan
18
comment Arch Linux: colors from terminal in bash script?
Great, that works!
Dec
24
awarded  Notable Question
Nov
16
comment Have git-annex control files on a partition but still use the partition the normal way?
Thanks! AeroFS sounds interesing...
Aug
17
comment Mass text manipulation?
sourceforge.net/apps/mediawiki/notepad-plus/… The examples might help!
Aug
16
asked Have git-annex control files on a partition but still use the partition the normal way?
Aug
16
comment Addon: Allow all script site wants to execute?
I at least discovered a "remove all restrictions for this site" option in the settings menu that shows up when something is blocked. But it still seems to just add all domains with scripts to the positive list.
Aug
13
comment Addon: Allow all script site wants to execute?
You are right with that, but it is not only about safety in terms of attacking scripts, but also if a site uses some services of other domains. The second point is that I do not want to have to allow each script seperately.
Aug
13
asked Addon: Allow all script site wants to execute?
Jul
10
awarded  Popular Question