~/notes
Search
Search
Search
Dark mode
Light mode
Explorer
curl Tips & Tricks
Profiling curl requests
Git
Git Pro Tips
How to setup a git server
Merging git repos with git-filter-repo
My Git+Synology setup
Reverting a Git Pull
Sharing git repos between two system users
Signing git commits with SSH keys
Splitting git repos with git filter-branch
Using direnv to set a custom git email for work projects
macOS
macOS Basics
New Mac Setup
Running PHP's CLI Server with launchd on OS X
Obsidian
Callout Tables
Obsidian: Callout Customizations
PHP
Simple PHP/SMTP mail script
Using Direnv to set PHP versions
Quartz
Hosting Quartz on GitHub Pages
My Quartz Dev Environment
Shell Scripting
My favorite shell aliases
POSIX Shell Tutorial
Shell Tricks: Better Bash debug
Shell Tricks: Colorized output
Shell Tricks: Detecting if your script is being piped
Shell Tricks: Pretty Printing the name of your program
Shell Tricks: Showing help in a script
Vim
Vim: Inserting command output
About
Home
❯
Tags
❯
Tag: shell
Tag: shell
6 items with this tag.
Jun 30, 2023
My favorite shell aliases
bash
zsh
shell
Feb 08, 2022
Shell Tricks: Better Bash debug
bash
shell
Jan 27, 2022
Shell Tricks: Pretty Printing the name of your program
bash
shell
Jan 27, 2022
Shell Tricks: Detecting if your script is being piped
shell
bash
Feb 28, 2017
Shell Tricks: Colorized output
shell
bash
Feb 11, 2017
Shell Tricks: Showing help in a script
shell
bash