This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# WSL? | |
if [[ "$(< /proc/sys/kernel/osrelease)" == *microsoft* ]]; then | |
export $(dbus-launch) | |
export LIBGL_ALWAYS_INDIRECT=1 | |
export WSL_VERSION=$(wsl.exe -l -v | grep -a '[*]' | sed 's/[^0-9]*//g') | |
export WSL_HOST=$(tail -1 /etc/resolv.conf | cut -d' ' -f2) | |
export DISPLAY=$WSL_HOST:0 | |
# pip path if using --user | |
export PATH=$PATH:$HOME/.local/bin | |
# SSH |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# If you don't remember the exact path/name, search the log for deleted files | |
git log --diff-filter=D --summary | grep delete | |
# Find the file you want to get from the ouput, and use the path | |
# Find the commits that involved that path | |
git log --all -- some/path/to/deleted.file | |
# Bring the file back to life to the current repo (sha commit of parent of commit that deleted) | |
g co shaofthecommitthatdeletedthefile^ -- some/path/to/deleted.file |