Skip to content

Instantly share code, notes, and snippets.

# ----------------------------------------
# Load dotfiles.
# (Run 'man test' to understand options like '-r' and '-f'.)
for file in ~/.{bash_prompt,}; do
[ -r "$file" ] && [ -f "$file" ] && source "$file";
done;
unset file;
# Make bash case-insensitive for the current user.
# First, include the original '/etc/inputrc',
# so it won't get overridden.
$include /etc/inputrc
# Then enable case-insensitive tab completion.
set completion-ignore-case On
prompt_git() {
local status='';
local branch_name='';
# Check if the current directory is in a Git repository.
git rev-parse --is-inside-work-tree &> /dev/null || return;
# Check for what branch we’re on. Get the short symbolic ref. If HEAD
# isn’t a symbolic ref, get a tracking remote branch or tag. Otherwise,
# get the short SHA for the latest commit, or give up.
{
"window.zoomLevel": 2,
"projectManager.sortList": "Saved",
"explorer.confirmDelete": false,
"explorer.compactFolders": false,
"explorer.openEditors.visible": 0,
"explorer.confirmDragAndDrop": false,
# Python and pip.
alias python='python3.8'
alias pip='pip3'
# Print all files and folders in the current directory
# with their permissions, owners, and modification dates.
alias lsl='ls -la'
# Print all files and folders in the current directory
# with their sizes, sorted by size in ascending order.