Dealing with CRLF can be extremely annoying on Linux, as it can cause errors when attempting to execute scripts or compile files. It is especially problematic when working with text files that were created on Windows, as they are formatted differently than Linux. Fortunately, there are easy ways to fix this issue. Traditionally, this has been done by using the dos2unix command, which can quickly and easily convert Windows-formatted text files to Linux-formatted ones, allowing you to avoid the headache of dealing with CRLF....

Introduction XV6 is a re-implementation of the Unix operating system that was developed as a teaching tool for MIT’s operating systems course. It is based on the original Unix operating system, which was developed in the 1970s at Bell Labs. XV6 is written in C and runs on x86-based computers. In the upcoming semester, I will be taking the Operating Systems course COMP-3300 at the University of Windsor, where we’ll be working with XV6....

Contained here are the main equivalences and inference rules for the COMP-2310 class at UWindsor. Equivalences E1. \( \alpha \land \sim \alpha \equiv false \) E2. \( \alpha \lor \sim \alpha \equiv true \) E3. \( \alpha \land \alpha \equiv \alpha \) E4. \( \alpha \lor \alpha \equiv \alpha \) E5. \( \alpha \land true \equiv \alpha \) E6. \( \alpha \lor false \equiv \alpha \) E7. \( \alpha \land false \equiv false \)...

If you’re someone who uses Windows Terminal (and if you’re not, you should be), you’ve probably encountered an annoying bell sound at one point or another. Whether it’s from hitting backspace too many times, or pressing tab when you shouldn’t have, this bell sound shows itself just often enough for it to be worth going through the steps to remove it. Luckily, it’s a very straightforward process to disable the sound....

If you ever wanted to install something from source, or create handy scripts to use anywhere in bash, you’ll need to update the PATH variable. Simply put, the PATH variable is a string consisting of colon-separated (:) directories. Whenever you type a command into the terminal, all of these directories are checked for executables that match the command you typed. Now, let’s say we have a directory we created, ~/.bin/ which contains our homemade scripts/executables....

While I wouldn’t necessarily recommend using the mouse too often when using Tmux, it’s likely that you may want it to be enabled at some point, so it may be better to enable it before you need it. The process is simple, you simply need a config file .tmux.conf in your home directory which contains the text set -g mouse on. You can do this automatically with the following command:...

(note: this article is meant for UWindsor students. If you aren’t a UWindsor student you may want to skip this one) Just want the instructions? Head over to the instructions section. Why You Should Become a UWSA Ratified Club There are many reasons why you should consider becoming a UWSA ratified club. Whether you’re starting a new club or thinking of taking your existing club to the next level, becoming UWSA ratified may be incredibly useful!...

Just want all the commands? Check them out here Or, run this one command to do everything: curl -o- https://blog.bornais.ca/scripts/javacup-install.sh | bash Prerequesite Software These instructions are for Linux machines. If you’re a Windows user, I recommend using the Windows Subsystem for Linux (WSL). The only prerequesite software required is Java. If you’re on a Debian-based system and don’t have Java installed, you can install it via sudo apt install default-jre and sudo apt install default-jdk....

Want all the instructions in one code block without the explanations? Check out the appendix. Before Starting Prerequesite Software These instructions are for Linux machines. If you’re a Windows user, I recommend using the Windows Subsystem for Linux (WSL). The only prerequesite software required is Java. If you’re on a Debian-based system and don’t have Java installed, you can install it via sudo apt install default-jre and sudo apt install default-jdk....

I’ve wanted to create my own blog for a little while now, but finding the motivation to actually get it set up was always difficult. What tipped the scale for me was when I realized I could use a blog like this instead of GitHub Gists to post my guides/tutorials. I’ve used gists in the past to create guides for my students as a TA, and they’ve always worked well for that....