Ton van den Heuvel

less info
260 reputation
1311
bio website
location Eindhoven, The Netherlands
age 32
visits member for 4 years
seen Aug 20 at 15:48
Software engineer living in Eindhoven, the Netherlands.

Aug
8
awarded  Nice Question
Nov
1
awarded  Popular Question
Jun
27
awarded  Notable Question
May
14
awarded  Famous Question
Feb
12
awarded  Caucus
May
30
awarded  Notable Question
Mar
25
awarded  Popular Question
Dec
25
awarded  Popular Question
Aug
19
accepted How to only install updates from a specific repository?
Aug
9
awarded  Yearling
Mar
11
accepted How to remove the window border for gnome-terminal?
Mar
2
awarded  Self-Learner
Mar
2
revised How to remove the window border for gnome-terminal?
added 273 characters in body
Mar
2
awarded  Teacher
Mar
2
answered How to remove the window border for gnome-terminal?
Mar
2
asked How to remove the window border for gnome-terminal?
Feb
22
comment How to only install updates from a specific repository?
Ideally it would be during runtime. The static option is sufficient though.
Feb
21
awarded  Student
Feb
21
asked How to only install updates from a specific repository?
Jan
26
awarded  Scholar