Reputation
2,607
Top tag
Next privilege 3,000 Rep.
Cast close & reopen votes
Badges
7 22 34
Impact
~862k people reached

  • 0 posts edited
  • 0 helpful flags
  • 45 votes cast
Sep
8
awarded  Good Question
Aug
12
awarded  Yearling
Aug
11
awarded  Nice Answer
Mar
20
awarded  Famous Question
Mar
11
awarded  Popular Question
Mar
1
awarded  Stellar Question
Feb
20
awarded  Popular Question
Feb
14
awarded  Notable Question
Jan
23
awarded  Famous Question
Jan
22
awarded  Popular Question
Jan
13
awarded  Nice Question
Dec
24
awarded  Popular Question
Nov
20
comment apt-get update only for a specific repository
Web caching is good, but to update a single source list is obviously faster then 300 sources lists. The problem is, I do have 300 sources lists and I have to move some of them between a "tmpdir" each time before sudo apt-get update.
Oct
9
accepted How to customize window borders and controls?
Sep
27
awarded  Necromancer
Aug
12
awarded  Yearling
Jul
19
awarded  Revival
Jul
18
awarded  Notable Question
Jul
10
awarded  Notable Question
Jun
25
awarded  Popular Question