Reputation
968
Top tag
Next privilege 1,000 Rep.
See votes, expandable usercard
Badges
2 16 35
Impact
~157k people reached

Feb
3
awarded  Notable Question
Jan
28
comment How to install package of R?
How do I install all CRAN, Bioconductor, Omegahat, ... packages that are available in the repository? Is there a meta-package? So far I've found only (apt-cache search r-cran-; apt-cache search r-omegahat-; apt-cache search r-bioc-) | cut -d " " -f 1 | grep -v r2jags | xargs apt-get install -y which won't catch new packages as they are included in the Debian archive.
Dec
29
awarded  Famous Question
Dec
11
answered How to escape “.” with sed or grep?
Dec
7
revised How to install LaTeX package called “standalone” properly so I can get update with Synaptic package manager?
added 174 characters in body
Dec
7
comment How to install LaTeX package called “standalone” properly so I can get update with Synaptic package manager?
@exhuma: My answer is by no means comprehensive and cannot substitute a web search. (It's outdated, too.)
Nov
15
awarded  Necromancer
Nov
4
awarded  Enlightened
Nov
4
awarded  Nice Answer
Oct
24
awarded  Yearling
Sep
24
revised How to group windows in gnome overview
added 33 characters in body
Sep
24
answered How to group windows in gnome overview
Sep
22
awarded  Self-Learner
Jul
12
comment Altering the backlight dim timeout on a Thinkpad laptop
Works for me (Ubuntu 15.04, T430). Thanks!
Apr
21
awarded  Necromancer
Apr
9
answered docker.io DNS doesn't work, it's trying to use 8.8.8.8
Apr
9
revised Query the DNS server(s) that are used for VPN
added 259 characters in body
Apr
9
comment Query the DNS server(s) that are used for VPN
No, NetworkManager is taking care of things here, and dnsmasq is running -- /etc/resolv.conf lists 127.0.1.1 as only name server.
Apr
9
asked Query the DNS server(s) that are used for VPN
Apr
9
comment What is my DNS server?
possible duplicate of Command-line to list DNS servers