diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/blog/2022-05-29-man/man.md | 4 | ||||
| -rw-r--r-- | src/blog/2022-06-08-more/more.md | 4 | ||||
| -rw-r--r-- | src/blog/2022-07-07-shutdown/shutdown.md | 4 | ||||
| -rw-r--r-- | src/blog/2022-09-13-sh-1/sh-1.md | 4 | ||||
| -rw-r--r-- | src/blog/2022-09-20-sh-2/sh-2.md | 4 | ||||
| -rw-r--r-- | src/blog/2022-10-01-tetris/tetris.md | 4 | ||||
| -rw-r--r-- | src/blog/2022-12-24-ed/ed.md | 4 | ||||
| -rw-r--r-- | src/blog/2023-01-11-aaron-swartz/aaron-swartz.md | 16 | ||||
| -rw-r--r-- | src/blog/2023-03-30-dc/dc.md | 2 | ||||
| -rw-r--r-- | src/blog/2023-10-15-build-time/bios.jpg | bin | 0 -> 125293 bytes | |||
| -rw-r--r-- | src/blog/2023-10-15-build-time/build-time.md | 119 | ||||
| -rw-r--r-- | src/blog/2023-10-15-build-time/build-time.md.bak | 119 | ||||
| -rw-r--r-- | src/blog/2023-10-15-build-time/desk.jpg | bin | 0 -> 154933 bytes | |||
| -rw-r--r-- | src/blog/2023-10-31-spooky-shell-expansions/spooky-shell-expansion.md | 47 | ||||
| -rw-r--r-- | src/series/series.md | 37 | ||||
| -rw-r--r-- | src/speedcubing/cubing.jpg | bin | 0 -> 109834 bytes | |||
| -rw-r--r-- | src/speedcubing/cubing.png | bin | 721767 -> 0 bytes | |||
| -rw-r--r-- | src/speedcubing/speedcubing.md | 2 |
18 files changed, 357 insertions, 13 deletions
diff --git a/src/blog/2022-05-29-man/man.md b/src/blog/2022-05-29-man/man.md index 26cad6b..ecbf50d 100644 --- a/src/blog/2022-05-29-man/man.md +++ b/src/blog/2022-05-29-man/man.md | |||
| @@ -1,5 +1,7 @@ | |||
| 1 | # The man page reading club: man(1) | 1 | # The man page reading club: man(1) |
| 2 | 2 | ||
| 3 | *This post is part of [series](../../series)* | ||
| 4 | |||
| 3 | I have been using Linux as my main operating system for the | 5 | I have been using Linux as my main operating system for the |
| 4 | last 14 years, and as my only one for the last 10. Needless | 6 | last 14 years, and as my only one for the last 10. Needless |
| 5 | to say, I really like it. However, at the end of last year I | 7 | to say, I really like it. However, at the end of last year I |
| @@ -261,3 +263,5 @@ markup, pipe the output to col(1) -b instead. | |||
| 261 | ``` | 263 | ``` |
| 262 | 264 | ||
| 263 | If you are curious, check the [new post](../2022-09-05-man-col)! | 265 | If you are curious, check the [new post](../2022-09-05-man-col)! |
| 266 | |||
| 267 | *Next in the series: [more(1)](../2022-06-08-more)* | ||
diff --git a/src/blog/2022-06-08-more/more.md b/src/blog/2022-06-08-more/more.md index 3673f59..5f568e3 100644 --- a/src/blog/2022-06-08-more/more.md +++ b/src/blog/2022-06-08-more/more.md | |||
| @@ -1,5 +1,7 @@ | |||
| 1 | # The man page reading club: more(1) | 1 | # The man page reading club: more(1) |
| 2 | 2 | ||
| 3 | *This post is part of a [series](../../series)* | ||
| 4 | |||
| 3 | In the second episode of this blog series we are going to cover a UNIX | 5 | In the second episode of this blog series we are going to cover a UNIX |
| 4 | pager. Instead of the popular less(1), we are going to check out the | 6 | pager. Instead of the popular less(1), we are going to check out the |
| 5 | classic more(1). | 7 | classic more(1). |
| @@ -190,3 +192,5 @@ can be used to pipe arbitrary portions of the current file to an external | |||
| 190 | command. But apart from this I could easily live in the pre-1985 era. | 192 | command. But apart from this I could easily live in the pre-1985 era. |
| 191 | 193 | ||
| 192 | See you next time! | 194 | See you next time! |
| 195 | |||
| 196 | *Next in the series: [shutdown(8)](../2022-07-07-shutdown)* | ||
diff --git a/src/blog/2022-07-07-shutdown/shutdown.md b/src/blog/2022-07-07-shutdown/shutdown.md index f7acb49..d260942 100644 --- a/src/blog/2022-07-07-shutdown/shutdown.md +++ b/src/blog/2022-07-07-shutdown/shutdown.md | |||
| @@ -1,5 +1,7 @@ | |||
| 1 | # The man page reading club: shutdown(8) | 1 | # The man page reading club: shutdown(8) |
| 2 | 2 | ||
| 3 | *This post is part of a [series](../../series)* | ||
| 4 | |||
| 3 | I would like to write about more interesting things, but I do not have | 5 | I would like to write about more interesting things, but I do not have |
| 4 | time or energy to do so. I need to shut down for a little while. | 6 | time or energy to do so. I need to shut down for a little while. |
| 5 | 7 | ||
| @@ -124,3 +126,5 @@ mainframes and how administrators used to shut them down when multiple users | |||
| 124 | were logged in. But I am not going to do it now. | 126 | were logged in. But I am not going to do it now. |
| 125 | 127 | ||
| 126 | Good night. | 128 | Good night. |
| 129 | |||
| 130 | *Next in the series: [sh(1) - part 1: shell grammar](../2022-09-13-sh-1)* | ||
diff --git a/src/blog/2022-09-13-sh-1/sh-1.md b/src/blog/2022-09-13-sh-1/sh-1.md index 92b2404..1c279a7 100644 --- a/src/blog/2022-09-13-sh-1/sh-1.md +++ b/src/blog/2022-09-13-sh-1/sh-1.md | |||
| @@ -1,5 +1,7 @@ | |||
| 1 | # The man page reading club: sh(1) - part 1: shell grammar | 1 | # The man page reading club: sh(1) - part 1: shell grammar |
| 2 | 2 | ||
| 3 | *This post is part of a [series](../../series)* | ||
| 4 | |||
| 3 | After [last time's short entry](../2022-07-07-shutdown) and a | 5 | After [last time's short entry](../2022-07-07-shutdown) and a |
| 4 | relatively long hiatus, we are back in business with a big one! | 6 | relatively long hiatus, we are back in business with a big one! |
| 5 | 7 | ||
| @@ -383,3 +385,5 @@ rules together. To finish this manual page we are going to need | |||
| 383 | another long post, or two shorter ones. | 385 | another long post, or two shorter ones. |
| 384 | 386 | ||
| 385 | See you next time! | 387 | See you next time! |
| 388 | |||
| 389 | *Next in the series: [sh(1) - part 2: commands and builtins](../2022-09-20-sh-2)* | ||
diff --git a/src/blog/2022-09-20-sh-2/sh-2.md b/src/blog/2022-09-20-sh-2/sh-2.md index 96b2893..3dd9dd1 100644 --- a/src/blog/2022-09-20-sh-2/sh-2.md +++ b/src/blog/2022-09-20-sh-2/sh-2.md | |||
| @@ -1,5 +1,7 @@ | |||
| 1 | # The man page reading club: sh(1) - part 2: commands and builtins | 1 | # The man page reading club: sh(1) - part 2: commands and builtins |
| 2 | 2 | ||
| 3 | *This post is part of a [series](../../series)* | ||
| 4 | |||
| 3 | This is the second and last part of our exciting sh(1) manual page | 5 | This is the second and last part of our exciting sh(1) manual page |
| 4 | read. This time we are going to learn about *commands* and *builtins*. | 6 | read. This time we are going to learn about *commands* and *builtins*. |
| 5 | In case you have missed it, check out the [first part](../2022-09-13-sh-1) | 7 | In case you have missed it, check out the [first part](../2022-09-13-sh-1) |
| @@ -394,3 +396,5 @@ other hand long pages are often more interesting. | |||
| 394 | 396 | ||
| 395 | Anyway, I hope you enjoyed this long double-post and that you may have | 397 | Anyway, I hope you enjoyed this long double-post and that you may have |
| 396 | learnt something new. See you next time! | 398 | learnt something new. See you next time! |
| 399 | |||
| 400 | *Next in the series: [tetris(6)](../2022-10-01-tetris)* | ||
diff --git a/src/blog/2022-10-01-tetris/tetris.md b/src/blog/2022-10-01-tetris/tetris.md index de21b05..dea5c8a 100644 --- a/src/blog/2022-10-01-tetris/tetris.md +++ b/src/blog/2022-10-01-tetris/tetris.md | |||
| @@ -1,5 +1,7 @@ | |||
| 1 | # The man page reading club: tetris(6) | 1 | # The man page reading club: tetris(6) |
| 2 | 2 | ||
| 3 | *This post is part of a [series](../../series)* | ||
| 4 | |||
| 3 | Sometimes you just need to relax and have some fun :-) | 5 | Sometimes you just need to relax and have some fun :-) |
| 4 | 6 | ||
| 5 | ## Boredom | 7 | ## Boredom |
| @@ -145,3 +147,5 @@ $ /usr/games/tetris | |||
| 145 | ``` | 147 | ``` |
| 146 | 148 | ||
| 147 | or just update your `$PATH`. | 149 | or just update your `$PATH`. |
| 150 | |||
| 151 | *Next in the series: [ed(1)](../2022-12-24-ed)* | ||
diff --git a/src/blog/2022-12-24-ed/ed.md b/src/blog/2022-12-24-ed/ed.md index dfe4ccc..2a3c3a8 100644 --- a/src/blog/2022-12-24-ed/ed.md +++ b/src/blog/2022-12-24-ed/ed.md | |||
| @@ -1,5 +1,7 @@ | |||
| 1 | # The man page reading club: ed(1) | 1 | # The man page reading club: ed(1) |
| 2 | 2 | ||
| 3 | *This post is part of a [series](../../series)* | ||
| 4 | |||
| 3 | I enjoyed writing a little introduction at the beginning of every | 5 | I enjoyed writing a little introduction at the beginning of every |
| 4 | post of this series, but I am running out of ideas. I am not much | 6 | post of this series, but I am running out of ideas. I am not much |
| 5 | of fiction writer. I'll skip this time, maybe I'll get back to doing | 7 | of fiction writer. I'll skip this time, maybe I'll get back to doing |
| @@ -419,3 +421,5 @@ more than one line at the time. If you are interest in this topic | |||
| 419 | I highly suggest reading the article | 421 | I highly suggest reading the article |
| 420 | [The command line philosophy](http://www.eklhad.net/philosophy.html) | 422 | [The command line philosophy](http://www.eklhad.net/philosophy.html) |
| 421 | by Karl Dahlke, the author of [edbrowse](https://edbrowse.org). | 423 | by Karl Dahlke, the author of [edbrowse](https://edbrowse.org). |
| 424 | |||
| 425 | *Next in the series: [dc(1)](../2023-03-30-dc)* | ||
diff --git a/src/blog/2023-01-11-aaron-swartz/aaron-swartz.md b/src/blog/2023-01-11-aaron-swartz/aaron-swartz.md index 051b738..df12d17 100644 --- a/src/blog/2023-01-11-aaron-swartz/aaron-swartz.md +++ b/src/blog/2023-01-11-aaron-swartz/aaron-swartz.md | |||
| @@ -65,24 +65,16 @@ there is still long. | |||
| 65 | 65 | ||
| 66 | *Aaron is dead.* | 66 | *Aaron is dead.* |
| 67 | 67 | ||
| 68 | 68 | *Wanderers in this crazy world,* | |
| 69 | *Wanderers in this crazy world,* | ||
| 70 | |||
| 71 | *we have lost a mentor, a wise elder.* | 69 | *we have lost a mentor, a wise elder.* |
| 72 | 70 | ||
| 73 | 71 | *Hackers for right, we are one down,* | |
| 74 | *Hackers for right, we are one down,* | ||
| 75 | |||
| 76 | *we have lost one of our own.* | 72 | *we have lost one of our own.* |
| 77 | 73 | ||
| 78 | 74 | *Nurtures, careers, listeners, feeders,* | |
| 79 | *Nurtures, careers, listeners, feeders,* | 75 | *parents all,* |
| 80 | |||
| 81 | *parents all,* | ||
| 82 | |||
| 83 | *we have lost a child.* | 76 | *we have lost a child.* |
| 84 | 77 | ||
| 85 | |||
| 86 | *Let us all weep.* | 78 | *Let us all weep.* |
| 87 | 79 | ||
| 88 | -- [Tim Berners-Lee](https://en.wikipedia.org/wiki/Tim_Berners-Lee) | 80 | -- [Tim Berners-Lee](https://en.wikipedia.org/wiki/Tim_Berners-Lee) |
diff --git a/src/blog/2023-03-30-dc/dc.md b/src/blog/2023-03-30-dc/dc.md index 75b27c4..2b0ee0f 100644 --- a/src/blog/2023-03-30-dc/dc.md +++ b/src/blog/2023-03-30-dc/dc.md | |||
| @@ -1,5 +1,7 @@ | |||
| 1 | # The man page reading club: dc(1) | 1 | # The man page reading club: dc(1) |
| 2 | 2 | ||
| 3 | *This post is part of a [series](../../series)* | ||
| 4 | |||
| 3 | For this episode I have decided to go back to the basics, in multiple | 5 | For this episode I have decided to go back to the basics, in multiple |
| 4 | ways. Indeed `dc`, the *desk calculator*, is: | 6 | ways. Indeed `dc`, the *desk calculator*, is: |
| 5 | 7 | ||
diff --git a/src/blog/2023-10-15-build-time/bios.jpg b/src/blog/2023-10-15-build-time/bios.jpg new file mode 100644 index 0000000..d7b3544 --- /dev/null +++ b/src/blog/2023-10-15-build-time/bios.jpg | |||
| Binary files differ | |||
diff --git a/src/blog/2023-10-15-build-time/build-time.md b/src/blog/2023-10-15-build-time/build-time.md new file mode 100644 index 0000000..9e4dfde --- /dev/null +++ b/src/blog/2023-10-15-build-time/build-time.md | |||
| @@ -0,0 +1,119 @@ | |||
| 1 | # Build time! | ||
| 2 | |||
| 3 | After thinking about it for quite some time, my girlfriend and I finally | ||
| 4 | got a nice desktop PC. This is our first build, and the first time I | ||
| 5 | open up a desktop PC in 10 years or so! | ||
| 6 | |||
| 7 |  | ||
| 8 | |||
| 9 | ## Specs | ||
| 10 | |||
| 11 | * CPU: AMD Ryzen 7 7700 (8 cores / 16 threads, 3.8GHz base / 5.3GHz Boost) | ||
| 12 | * GPU: Asus AMD Radeon RX 6650 XT (8GB dedicated memory) | ||
| 13 | * RAM: 2x32GB | ||
| 14 | * SSD: 2TB NVMe | ||
| 15 | |||
| 16 | We (especially my girlfriend) play some games, but not the newest AAA | ||
| 17 | titles, and we are definitely willing to sacrifice some graphics quality. | ||
| 18 | So we went for some "best bang for the buck" CPU and GPU, paying attention | ||
| 19 | to the power usage, too. | ||
| 20 | |||
| 21 | I also write code for fun, and for one of my hobby projects I would like | ||
| 22 | to experiment with different sizes of RAM, so I wanted at least 32GB. We | ||
| 23 | ended up getting 64 because we had some money left in our budget and we | ||
| 24 | did not need (or want) a better (and more power-hungry) CPU or GPU. | ||
| 25 | |||
| 26 | With the case and all the peripherals, including a pretty good 27" | ||
| 27 | screen, we got it for less than 1400€, which I think is a good price. | ||
| 28 | |||
| 29 | ## Building it up | ||
| 30 | |||
| 31 | We were a bit scared of putting all the pieces together. My girlfriend | ||
| 32 | has never done it, and the last time I assembled a | ||
| 33 | PC it was back in the days of spinning hard drives with | ||
| 34 | [IDE connectors](https://en.wikipedia.org/wiki/Parallel_ATA) | ||
| 35 | and motherboard | ||
| 36 | [beep codes](https://en.wikipedia.org/wiki/Power-on_self-test#Progress_and_error_reporting). | ||
| 37 | You know, when the PC kindly told you in pseudo-Morse code exactly what | ||
| 38 | was wrong. Those were the days! | ||
| 39 | |||
| 40 | Nostalgia aside, the build process went pretty smoothly - except for | ||
| 41 | a small cut on my middle finger. Here are some of the things I found | ||
| 42 | interesting: | ||
| 43 | |||
| 44 | ### Black is the new green | ||
| 45 | |||
| 46 | I remember mother boards and graphics card used to be all green, now not | ||
| 47 | anymore! At least in our case, they are all black. Cool, I guess. | ||
| 48 | |||
| 49 | ### Tiny NVMe drive | ||
| 50 | |||
| 51 | Modern NVMe drives are really small! I remember old hard disks being | ||
| 52 | literal bricks - you would not want to drop one of those, lest it breaks | ||
| 53 | your toes or damages the floor. Now you would not want to drop one for | ||
| 54 | fear of loosing it under the sofa. | ||
| 55 | |||
| 56 | ### Fans everywhere | ||
| 57 | |||
| 58 | The case has a fan, the CPU has a fan, the GPU has two. I don't remember | ||
| 59 | there were this many fans in ~2009, but if it keeps my chips cool, | ||
| 60 | I'll take it! | ||
| 61 | |||
| 62 | ### Damned RGB | ||
| 63 | |||
| 64 | We (especially me) do not like at all the modern "gamer aesthetics" that | ||
| 65 | demand RGB lights everywhere. So we carefully chose components that had | ||
| 66 | the no LEDs, or as little as possible. Unfortunately, the stock CPU fan | ||
| 67 | has more lights than a Christmas tree. Our solid black case saves us here. | ||
| 68 | |||
| 69 | ### Ugly BIOS | ||
| 70 | |||
| 71 | I mean, WTF is this screen? | ||
| 72 | |||
| 73 |  | ||
| 74 | |||
| 75 | It's like a B-tier early 2000s video game. I think the classic 80s | ||
| 76 | style, curses-like graphics looked much better. But on the other hand, | ||
| 77 | who cares. | ||
| 78 | |||
| 79 | ## Operating system | ||
| 80 | |||
| 81 | We agreed on using Linux, because we are both Linux users, because all | ||
| 82 | the games we would like to play work either natively or via proton, | ||
| 83 | and because fuck you Microsoft and your crappy spyware. | ||
| 84 | |||
| 85 | I use [Void](https://voidlinux.org/), but for a shared PC I would like | ||
| 86 | something that "just works" with minimal setup. My girlfriend uses | ||
| 87 | [Mint](https://linuxmint.com/), but she wanted to try out something | ||
| 88 | new. Debian seemed like a solid choice, and it is | ||
| 89 | [very similar to Linux](https://www.youtube.com/watch?v=s5ocXFgowZA) | ||
| 90 | (in case you can't click on the link or don't understand Italian, it's a joke). | ||
| 91 | |||
| 92 | For the desktop environment we initially went for XFCE, but my | ||
| 93 | girlfriend immediately disliked it because many administration tasks | ||
| 94 | were counter-intuitive or just impossible (e.g. adding a new user). So | ||
| 95 | we switched to KDE, and we are both reasonably satisfied with it. However, | ||
| 96 | I am a bit disappointed to see that it is (still) a bit buggy - some of the | ||
| 97 | first disappointments include: [Discover](https://apps.kde.org/discover/) | ||
| 98 | failing to open, KDE "administrator" users not being able to use `sudo`, | ||
| 99 | the [screen failing to turn off](https://discussion.fedoraproject.org/t/f37-kde-5-27-screen-doesnt-dim-nor-turn-off/73960) | ||
| 100 | after the set timeout. At least it is not as buggy as the initial KDE4 | ||
| 101 | release in 2008. | ||
| 102 | |||
| 103 | ## Build time? | ||
| 104 | |||
| 105 | So, how long does it take to build Linux on my new Linux build? | ||
| 106 | |||
| 107 | ``` | ||
| 108 | $ sudo apt build-dep linux | ||
| 109 | $ wget https://cdn.kernel.org/pub/linux/kernel/v6.x/linux-6.5.7.tar.xz | ||
| 110 | $ tar -xvf linux-6.5.7.tar.xz | ||
| 111 | $ cd linux-6.5.7.tar.xz | ||
| 112 | $ make mrproper | ||
| 113 | $ make defconfig | ||
| 114 | $ time make -j16 | ||
| 115 | |||
| 116 | real 1m27.215 | ||
| 117 | user 17m57.806s | ||
| 118 | sys 1m46.663s | ||
| 119 | ``` | ||
diff --git a/src/blog/2023-10-15-build-time/build-time.md.bak b/src/blog/2023-10-15-build-time/build-time.md.bak new file mode 100644 index 0000000..41a3d65 --- /dev/null +++ b/src/blog/2023-10-15-build-time/build-time.md.bak | |||
| @@ -0,0 +1,119 @@ | |||
| 1 | # Build time! | ||
| 2 | |||
| 3 | After thinking about it for quite some time, my girlfriend and I finally | ||
| 4 | got a nice desktop PC. This is our first build, and the first time I | ||
| 5 | open up a desktop PC in 10 years or so! | ||
| 6 | |||
| 7 |  | ||
| 8 | |||
| 9 | ## Specs | ||
| 10 | |||
| 11 | * CPU: AMD Ryzen 7 7700 (8 cores / 16 threads, 3.8GHz base / 5.3GHz Boost) | ||
| 12 | * GPU: Asus AMD Radeon RX 6650 XT (8GB dedicated memory) | ||
| 13 | * RAM: 2x32GB | ||
| 14 | * SSD: 2TB NVMe | ||
| 15 | |||
| 16 | We (especially my girlfriend) play some games, but not the newest AAA | ||
| 17 | titles, and we are definitely willing to sacrifice some graphics quality. | ||
| 18 | So we went for some "best bang for the buck" CPU and GPU, paying attention | ||
| 19 | to the power usage, too. | ||
| 20 | |||
| 21 | I also write code for fun, and for one of my hobby projects I would like | ||
| 22 | to experiment with different sizes of RAM, so I wanted at least 32GB. We | ||
| 23 | ended up getting 64 because we had some money left in our budget and we | ||
| 24 | did not need (or want) a better (and more power-hungry) CPU or GPU. | ||
| 25 | |||
| 26 | With the case and all the peripherals, including a pretty good 27" | ||
| 27 | screen, we got it for less than 1400€, which I think is a good price. | ||
| 28 | |||
| 29 | ## Building it up | ||
| 30 | |||
| 31 | We were a bit scared of putting all the pieces together. My girlfriend | ||
| 32 | has never done it, and the last time I assembled a | ||
| 33 | PC it was back in the days of spinning hard drives with | ||
| 34 | [IDE connectors](https://en.wikipedia.org/wiki/Parallel_ATA) | ||
| 35 | and motherboard | ||
| 36 | [beep codes](https://en.wikipedia.org/wiki/Power-on_self-test#Progress_and_error_reporting). | ||
| 37 | You know, when the PC kindly told you in pseudo-morse code exactly what | ||
| 38 | was wrong. Those were the days! | ||
| 39 | |||
| 40 | Nostalgia aside, the build process went pretty smoothly - except for | ||
| 41 | a small cut on my middle finger. Here are some of the things I found | ||
| 42 | interesting: | ||
| 43 | |||
| 44 | ### Black is the new green | ||
| 45 | |||
| 46 | I remember mother boards and graphics card used to be all green, now not | ||
| 47 | anymore! At least in our case, they are all black. Cool, I guess. | ||
| 48 | |||
| 49 | ### Tiny NVMe drive | ||
| 50 | |||
| 51 | Modern NVMe drives are really small! I remember old hard disks being | ||
| 52 | literal bricks - you would not want to drop one of those, lest it breaks | ||
| 53 | your toes or damages the floor. Now you would not want to drop one for | ||
| 54 | fear of loosing it under the sofa. | ||
| 55 | |||
| 56 | ### Fans everywhere | ||
| 57 | |||
| 58 | The case has a fan, the CPU has a fan, the GPU has two. I don't remember | ||
| 59 | there were this many fans in ~2009, but if it keeps my chips cool, | ||
| 60 | I'll take it! | ||
| 61 | |||
| 62 | ### Damned RGB | ||
| 63 | |||
| 64 | We (espcially me) do not like at all the modern "gamer aesthetics" that | ||
| 65 | demand RGB lights everywhere. So we carefully chose components that had | ||
| 66 | the no LEDs, or as little as possible. Unfortunately, the stock CPU fan | ||
| 67 | has more lights than a Christmas tree. Our solid black case saves us here. | ||
| 68 | |||
| 69 | ### Ugly BIOS | ||
| 70 | |||
| 71 | I mean, WTF is this screen? | ||
| 72 | |||
| 73 |  | ||
| 74 | |||
| 75 | It's like a B-tier early 2000s video game. I think the classic 80s | ||
| 76 | style, curses-like graphics looked much better. But on the other hand, | ||
| 77 | who cares. | ||
| 78 | |||
| 79 | ## Operating system | ||
| 80 | |||
| 81 | We agreed on using Linux, because we are both Linux users, because all | ||
| 82 | the games we would like to play work either natively or via proton, | ||
| 83 | and because fuck you Microsoft and your crappy spyware. | ||
| 84 | |||
| 85 | I use [Void](https://voidlinux.org/), but for a shared PC I would like | ||
| 86 | something that "just works" with minimal setup. My girlfriend uses | ||
| 87 | [Mint](https://linuxmint.com/), but she wanted to try out something | ||
| 88 | new. Debian seemed like a solid choice, and it is | ||
| 89 | [very similar to Linux](https://www.youtube.com/watch?v=s5ocXFgowZA) | ||
| 90 | (in case you can't click on the link or don't understand Italian, it's a joke). | ||
| 91 | |||
| 92 | For the desktop environment we initially went for XFCE, but my | ||
| 93 | girlfriend immediately disliked it because many administration tasks | ||
| 94 | were counter-intuitive or just impossible (e.g. adding a new user). So | ||
| 95 | we switched to KDE, and we are both reasonably satisfied with it. However, | ||
| 96 | I am a bit disappointed to see that it is (still) a bit buggy - some of the | ||
| 97 | first disappointments include: [Discover](https://apps.kde.org/discover/) | ||
| 98 | failing to open, KDE "administrator" users not being able to use `sudo`, | ||
| 99 | the [screen failing to turn off](https://discussion.fedoraproject.org/t/f37-kde-5-27-screen-doesnt-dim-nor-turn-off/73960) | ||
| 100 | after the set timeout. At least it is not as buggy as the inital KDE4 | ||
| 101 | release in 2008. | ||
| 102 | |||
| 103 | ## Build time? | ||
| 104 | |||
| 105 | So, how long does it take to build Linux on my new Linux build? | ||
| 106 | |||
| 107 | ``` | ||
| 108 | $ sudo apt build-dep linux | ||
| 109 | $ wget https://cdn.kernel.org/pub/linux/kernel/v6.x/linux-6.5.7.tar.xz | ||
| 110 | $ tar -xvf linux-6.5.7.tar.xz | ||
| 111 | $ cd linux-6.5.7.tar.xz | ||
| 112 | $ make mrproper | ||
| 113 | $ make defconfig | ||
| 114 | $ time make -j16 | ||
| 115 | |||
| 116 | real 1m27.215 | ||
| 117 | user 17m57.806s | ||
| 118 | sys 1m46.663s | ||
| 119 | ``` | ||
diff --git a/src/blog/2023-10-15-build-time/desk.jpg b/src/blog/2023-10-15-build-time/desk.jpg new file mode 100644 index 0000000..4218797 --- /dev/null +++ b/src/blog/2023-10-15-build-time/desk.jpg | |||
| Binary files differ | |||
diff --git a/src/blog/2023-10-31-spooky-shell-expansions/spooky-shell-expansion.md b/src/blog/2023-10-31-spooky-shell-expansions/spooky-shell-expansion.md new file mode 100644 index 0000000..a70c744 --- /dev/null +++ b/src/blog/2023-10-31-spooky-shell-expansions/spooky-shell-expansion.md | |||
| @@ -0,0 +1,47 @@ | |||
| 1 | # Spooky shell expansions | ||
| 2 | |||
| 3 | *Let me tell you a story to chill the bones* | ||
| 4 | *One that happened to me long time ago* | ||
| 5 | |||
| 6 | *It was a dark and cold night* | ||
| 7 | *Plague spreading outside* | ||
| 8 | |||
| 9 | *In the summer of '20* | ||
| 10 | *I was hacking alone* | ||
| 11 | *A little program I wanted to install* | ||
| 12 | *Not in `/usr/local`, but in my `$HOME`* | ||
| 13 | |||
| 14 | *Young and foolish I was* | ||
| 15 | *As I changed the Makefile* | ||
| 16 | *`PREFIX = ~/.local`* | ||
| 17 | *And then `make` I typed* | ||
| 18 | |||
| 19 | *That did not work, of course* | ||
| 20 | *And I soon realized* | ||
| 21 | *A new folder named `~`* | ||
| 22 | *Had shown up in my `$HOME`* | ||
| 23 | |||
| 24 | *"How foolish I was" - I thought* | ||
| 25 | *"That must not work,* | ||
| 26 | *A Makefile won't expand* | ||
| 27 | *As a shell script sure does"* | ||
| 28 | |||
| 29 | *A folder named `~`* | ||
| 30 | *When left alone,* | ||
| 31 | *Is no reason to fear* | ||
| 32 | *Does no harm at all* | ||
| 33 | |||
| 34 | *But care must be taken* | ||
| 35 | *And alas, I did not* | ||
| 36 | *Soon to learn the hard way* | ||
| 37 | *What a `~` gives, a `~` takes away* | ||
| 38 | |||
| 39 | *"Let this be undone!" I exclaimed* | ||
| 40 | |||
| 41 | *As I typed* | ||
| 42 | |||
| 43 | *Four little bytes* | ||
| 44 | |||
| 45 | ``` | ||
| 46 | $ rm ~ | ||
| 47 | ``` | ||
diff --git a/src/series/series.md b/src/series/series.md new file mode 100644 index 0000000..75bc301 --- /dev/null +++ b/src/series/series.md | |||
| @@ -0,0 +1,37 @@ | |||
| 1 | # List of blog series | ||
| 2 | |||
| 3 | I my [blog](../blog) I sometimes write multiple posts on the same | ||
| 4 | topic, or posts in multiple parts. This page contains the list of these | ||
| 5 | "blog series". | ||
| 6 | |||
| 7 | **Note:** This is *not* a full list of my blog posts divided by topic. | ||
| 8 | |||
| 9 | ## The man page reading club | ||
| 10 | |||
| 11 | In these posts I walk through the [manual page](https://man.openbsd.org) | ||
| 12 | of a classic UNIX utility, highlighting the most important features. | ||
| 13 | Each post is introduced by a fictional context. | ||
| 14 | |||
| 15 | * [man(1)](../blog/2022-05-29-man) | ||
| 16 | * [more(1)](../blog/2022-06-08-more) | ||
| 17 | * [shutdown(8)](../blog/2022-07-07-shutdown) | ||
| 18 | * [sh(1) part 1](../blog/2022-09-13-sh-1) | ||
| 19 | * [sh(1) part 2](../blog/2022-09-20-sh-2) | ||
| 20 | * [tetris(6)](../blog/2022-10-01-tetris) | ||
| 21 | * [ed(1)](../blog/2022-12-24-ed) | ||
| 22 | * [dc(1)](../blog/2023-03-30-dc) | ||
| 23 | |||
| 24 | ## UNIX text filter | ||
| 25 | |||
| 26 | In this series I explore three classic UNIX commands, in increasing order | ||
| 27 | of complexity: `grep`, `sed` and `awk`. Work in progress. | ||
| 28 | |||
| 29 | * [grep](../blog/2023-08-20-grep) | ||
| 30 | * sed [coming soon] | ||
| 31 | * awk [coming less soon] | ||
| 32 | |||
| 33 | ## The UNIX shell as an IDE | ||
| 34 | |||
| 35 | This series contains only one post for now, but I may add more in the future. | ||
| 36 | |||
| 37 | * [Look stuff up with sed](../blog/2022-06-12-shell-ide-sed) | ||
diff --git a/src/speedcubing/cubing.jpg b/src/speedcubing/cubing.jpg new file mode 100644 index 0000000..1ca8200 --- /dev/null +++ b/src/speedcubing/cubing.jpg | |||
| Binary files differ | |||
diff --git a/src/speedcubing/cubing.png b/src/speedcubing/cubing.png deleted file mode 100644 index 7ee8943..0000000 --- a/src/speedcubing/cubing.png +++ /dev/null | |||
| Binary files differ | |||
diff --git a/src/speedcubing/speedcubing.md b/src/speedcubing/speedcubing.md index e9d0f1e..2e60f85 100644 --- a/src/speedcubing/speedcubing.md +++ b/src/speedcubing/speedcubing.md | |||
| @@ -1,6 +1,6 @@ | |||
| 1 | # Speedcubing | 1 | # Speedcubing |
| 2 | 2 | ||
| 3 |  | 3 |  |
| 4 | 4 | ||
| 5 | I have been practicing | 5 | I have been practicing |
| 6 | [speedcubing](https://en.wikipedia.org/wiki/Speedcubing) since 2008, | 6 | [speedcubing](https://en.wikipedia.org/wiki/Speedcubing) since 2008, |
