677 reputation
213
bio website
location United Kingdom
age 34
visits member for 1 year, 11 months
seen 2 days ago

I am a mathematics enthusiast, although I have no formal training. What I know is what I've been able to glean from searching Wikipedia.

I enjoy writing computer programs, although I have never been employed as a programmer. I've used two-dozen different programming languages, but my current favourite is Haskell.

I also have an interest in various areas of science.

On top of all that, I'm also a bad musician, a mediocre dancer, and a very bad juggler. :-P


Oct
22
asked Control which process gets cancelled by Ctrl+C
Oct
17
comment How does /proc/$PID/fd actually work?
@Archemar Useful! So is it usual for these files to not exist then? Also, what is eventpoll and eventfd?
Oct
17
asked How does /proc/$PID/fd actually work?
Sep
24
awarded  Autobiographer
Sep
19
accepted How does cfdisk fix my disk image?
Sep
18
answered How does cfdisk fix my disk image?
Sep
18
comment How does cfdisk fix my disk image?
Turns out using /dev/mapper/loop0p1 doesn't work anyway...
Sep
17
comment How does cfdisk fix my disk image?
We deliberately moved away from using partition nodes so that we don't have to rely on the OS to correctly parse the partition table(s). We have code that reads the MBR and/or GPT and figures out all the correct offsets automatically. And until today, it's all worked fine. I don't know what's so different about this setup that it fails with loop devices, yet works with real ones...
Sep
17
comment How does cfdisk fix my disk image?
The test framework already has logic to run kpartx and symlink all the device nodes it creates, such that /dev/vda, /dev/vda1, /dev/vda2, etc exist - just like with a real disk.
Sep
17
comment How does cfdisk fix my disk image?
MD5 of /proc/partitions doesn't ever change. Adding -t ext4 causes the error text to change to wrong fs type, bad option, bad superblock on /dev/loop0.
Sep
17
comment How does cfdisk fix my disk image?
Correct filesystem is ext4. I will take a look at /proc/partitions...
Sep
17
asked How does cfdisk fix my disk image?
Aug
6
awarded  Notable Question
Jul
14
awarded  Self-Learner
Jul
2
awarded  Curious
Jun
19
awarded  Popular Question
May
16
comment Can't install gnome shell extensions
@JeroenBollen I haven't managed to fix it yet. I did, however, discover that if you can find a suitable download site, you can just manually copy the files to /usr/share/gnome-shell/extensions. It's hardly "convenient", though.
May
8
asked Can't install gnome shell extensions
May
7
answered Black screen when starting X
May
6
asked Black screen when starting X