Comments on: Quick Bash Tip: Alt-Shift-3 (Alt-#) https://mattventura.net/2022/12/11/quick-bash-tip-alt-shift-3-alt/?utm_source=rss&utm_medium=rss&utm_campaign=quick-bash-tip-alt-shift-3-alt Matt Ventura's blog about various stuff. Sun, 11 Dec 2022 19:07:36 +0000 hourly 1 https://wordpress.org/?v=5.9.9