Linux

What’s kicking, internauts? This is a blog post explaining how to build fully statically-linked OCaml executables in a Docker environment, then copy them out of your Docker environment into your filesystem.1 Prerequisites This post assumes an “I run Linux on my computer” and “I write sofware in a programming language that compiles to machine code” level of tech-savviness. Although I develop in OCaml on Arch Linux, this post is nonetheless likely to be of interest if you are a developer who isn’t on Arch Linux, and it may very well even be of interest if you don’t use OCaml. If you have no idea what any of these computer words mean, please feel free to get in touch with me and I’ll be happy to write a follow-up post explaining whatever you’d like to know about. ...

Greetings, earthlings. This is a blog post explaining how to run Emacs, GPG Agent, and SSH Agent as user-level daemons, mostly using systemd. I do so on Arch Linux, but in principle, this setup should work fine on any Linux distribution that uses systemd. Prerequisites This post assumes an “I run Linux on my computer” level of tech-savviness. The portions of this post that pertain to Emacs also assume that you are an Emacs user. If you don’t know what any of those words mean, or if this post employs concepts that you don’t understand but would like to, please feel free to get in touch with me and I’ll be happy to write a follow-up post explaining whatever you’d like to know about. ...

Hello, party people. This is a blog post explaining how to connect to the University of Chicago VPN using Network Manager and openconnect from an Arch Linux machine with no desktop environment installed. Prerequisites This post assumes an “I run Linux on my computer” level of tech-savviness. If you don’t know what any of those words mean, or if this post employs concepts that you don’t understand but would like to, please feel free to get in touch with me and I’ll be happy to write a follow-up post explaining whatever you’d like to know about. ...