Tech, compressed

Small tutorials on various tech-related things.

See for information/documentation about and its services.

SRVUSD-BYOD Network Credentials

If you’re simply looking for a tutorial on how to connect your device to the network securely, go to the Tutorials section. Network info The network uses WPA Enterprise with WPA-PEAP and MSCHAPv2 for authentication. The root CA certificate is provided in the Certificates section. Connection details Name Value Security mode WPA/WPA2 Enterprise Authentication Protected EAP (PEAP) CA certificate see Certificates section Domain (or possibly Inner (Phase 2) Authentication MSCHAPv2 Identity (username) STUDENTS\######, where ###### is your student ID number Password Your district password Tutorials The tutorials provided here detail how to connect to the SRVUSD-BYOD network securely (i....

August 31, 2021 · 5 min · Kian Kasad

Trick to shift lines in Vim

It’s easy to select lines in visual mode, delete them, then paste them a few lines lower. However, this won’t adjust the indentation to match surrounding code. Instead, add the following to your vimrc (or init.vim): 1 2 3 " Move visual selection vnoremap K :m '<-2<cr>gv=gv vnoremap J :m '>+1<cr>gv=gv Then select lines using visual mode (v or V) and press J or K to shift them down or up one line, respectively....

May 21, 2021 · 1 min · Kian Kasad

Ignoring Files - Intro to Git part 6

Sometimes you don’t want git to track files in a repository. Maybe you’re working on a Java project and you want Git to silently ignore all files ending in .class. Or maybe it’s a C program and you want Git to ignore *.o. Either way, there are two ways to accomplish this. The gitignore file Git has a few special files that you can use to affect how Git operates. One of these is the ....

February 8, 2021 · 3 min · Kian Kasad

Checking Out - Intro to Git part 5

In the previous tutorial, the checkout subcommand was used to switch betweeen branches, but there’s a lot more that it can do. “Checking out” is how you switch between different points of the repository’s history. You can checkout branches, tags, and commits. Tags Tags are just named pointers to commits (with optional extra data). They’re usually used for marking versions of software, which makes it really easy to jump between versions in a git repository....

December 1, 2020 · 3 min · Kian Kasad

Branching and Merging - Intro to Git part 4

If you’ve followed along with the previous tutorials, you now know how to work with commits, stage files, view the commit log, and maybe a few other things. Now it’s time to use one of git’s most useful features: branching. What is a branch? In reality, a branch is just a named pointer to a commit. But for most purposes, thinking of a branch like a branch of a tree is fine....

August 28, 2020 · 3 min · Kian Kasad