THIS GIST WAS MOVED TO TERMSTANDARD/COLORS
REPOSITORY.
PLEASE ASK YOUR QUESTIONS OR ADD ANY SUGGESTIONS AS A REPOSITORY ISSUES OR PULL REQUESTS INSTEAD!
THIS GIST WAS MOVED TO TERMSTANDARD/COLORS
REPOSITORY.
PLEASE ASK YOUR QUESTIONS OR ADD ANY SUGGESTIONS AS A REPOSITORY ISSUES OR PULL REQUESTS INSTEAD!
# Stole from: | |
# http://stackoverflow.com/questions/32122784/alias-script-to-delete-all-local-and-remote-git-branches-with-a-specific-prefix | |
git branch -D $(printf "%s\n" $(git branch) | grep 'feature/') | |
# Or this will work too to remove all remote branches: | |
# https://coderwall.com/p/eis0ba/remove-a-thousand-stale-remote-branches-on-git | |
git branch -r | awk -F/ '/\/feature/{print $2}' | xargs -I {} git push origin :{} | |
# Prune all origin branches | |
git remote prune origin |
{ | |
"Alt-/": "lua:comment.comment", | |
"CtrlX": "Quit", | |
"CtrlK": "Cut", | |
"CtrlU": "Paste", | |
"CtrlX": "Quit", | |
} |
curl -sL https://deb.nodesource.com/setup_14.x | sudo -E bash - | |
sudo apt-get install -y nodejs | |
# si wevea GPG: | |
sudo apt remove gpg | |
sudo apt install gnupg1 |
# WSL2 network port forwarding script v1 | |
# for enable script, 'Set-ExecutionPolicy -ExecutionPolicy Bypass -Scope CurrentUser' in Powershell, | |
# for delete exist rules and ports use 'delete' as parameter, for show ports use 'list' as parameter. | |
# written by Daehyuk Ahn, Aug-1-2020 | |
# Display all portproxy information | |
If ($Args[0] -eq "list") { | |
netsh interface portproxy show v4tov4; | |
exit; | |
} |
\colorbox
and \fcolorbox
are broken and Github did't talk about if it's a temporary thing or if it will not be added back.
#
's)
As you can se with the above message(s) Tex may not be very stable and may not be an option to you as of the dates expressed above. You can also check other tex problems here.