Some repositories couldn't be updated, please check application logs for details.
BadCredentialsException: 401 {"message": "Bad credentials", "documentation_url": "https://docs.github.com/rest", "status": "401"}

aboutsummaryrefslogtreecommitdiffstatshomepage
diff options
context:
space:
mode:
-rw-r--r--.bashrc2
1 files changed, 2 insertions, 0 deletions
diff --git a/.bashrc b/.bashrc
index 4d43a21..b354b0d 100644
--- a/.bashrc
+++ b/.bashrc
@@ -362,3 +362,5 @@ runcpp() (
)
export PYTHONSTARTUP=~/.pythonrc
+
+alias strip_pgn_clk='sed --binary --in-place '"'"'s/ {\[%clk [[:digit:]]:[[:digit:]]\{2\}:[[:digit:]]\{2\}\]}//g'"'"