220 reputation
516
bio website
location Bristol, United Kingdom
age
visits member for 2 years, 6 months
seen Apr 15 at 15:48

I'm a computer science PhD student, with a severe lack of practical computing ability. No-one has called me on it yet, but I'm sure the day is only just around the corner...


Apr
6
awarded  Notable Question
Mar
9
awarded  Popular Question
Feb
18
awarded  Caucus
Nov
6
awarded  Notable Question
Oct
24
awarded  Popular Question
Oct
6
awarded  Popular Question
Sep
19
awarded  Yearling
Jun
7
awarded  Notable Question
Apr
6
accepted How can I reinstall binary file /usr/bin/ld?
Apr
5
awarded  Popular Question
Mar
26
awarded  Popular Question
Feb
3
awarded  Popular Question
Jan
28
revised How can I change the mount point of an external hard drive
added 1 characters in body
Jan
28
comment How can I change the mount point of an external hard drive
Thanks. I have changed the label of the partition, but it hasn't seemed to change the mountpoint.
Jan
28
asked How can I change the mount point of an external hard drive
Dec
29
comment Unable to mount 1TB USB external HDD - Error
This worked perfectly for me with the same problem. Something similar was in fstab, and this was preventing mounting, either by GUI or terminal.
Dec
10
awarded  Notable Question
Nov
21
comment The NVIDIA X driver is not new enough to support the nvidia-settings Display Configuration page
Can I ask where you made this switch? Thanks.
Nov
15
comment Unable to launch gedit with sudo
Hmm.. I agree that it seems like it should, but it just doesn't. gedit opens gedit, gksu gedit gives an error! I think the problems run deeper than I first thought. Thanks for your help though.
Nov
14
comment How to find processed called from a specific Terminal?
Great, just what I was looking for. Thanks.