This file contains hidden or 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
| #!/bin/bash | |
| function get_commit_url() { | |
| echo "$(git config --get remote.origin.url)" | \ | |
| sed -e 's/git@/https:\/\//' -e 's/\.git$//' \ | |
| | awk -v sha="$(git rev-parse $1)" '{print $0"/commit/"sha}' | |
| } |
This file contains hidden or 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
| #!/bin/bash | |
| # A script to inspect the current Git repository status and display relevant information. | |
| file_name="files-in-git" | |
| old_file="${file_name}_old.txt" | |
| new_file="${file_name}.txt" | |
| function generate_git_file_list() { | |
| ls -1 -R .git > $1 | |
| } |
This file contains hidden or 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
| custom_scripts/ | |
| .vscode/ | |
| pyproject.toml | |
| poetry.lock | |
| *.equi | |
| *.cst |
This file contains hidden or 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
| #!/usr/bin/env python3 | |
| # uv run lemire.py --token <your_github_token> --user <github_username> | |
| # | |
| # To generate a GitHub Personal Access Token: | |
| # 1. Go to https://github.com/settings/tokens | |
| # 2. Click "Generate new token (classic)" | |
| # 3. Give it a name, e.g., "GitHub Search Script" | |
| # 4. Select scopes: For public repositories, select "public_repo". For private, select "repo". | |
| # 5. Click "Generate token" | |
| # 6. Copy the token and use it as --token argument. |
This file contains hidden or 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
| { | |
| // Place your snippets for latex here. Each snippet is defined under a snippet name and has a prefix, body and | |
| // description. The prefix is what is used to trigger the snippet and the body will be expanded and inserted. Possible variables are: | |
| // $1, $2 for tab stops, $0 for the final cursor position, and ${1:label}, ${2:another} for placeholders. Placeholders with the | |
| // same ids are connected. | |
| // Example: | |
| // "Print to console": { | |
| // "prefix": "log", | |
| // "body": [ | |
| // "console.log('$1');", |
This file contains hidden or 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
| <Target Name="Debug check" BeforeTargets="Build"> | |
| <Exec Command="echo $(DefineConstants)" /> | |
| </Target> |
This file contains hidden or 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
| #!/bin/bash | |
| # set -o xtrace | |
| PS4='${LINENO}: ' | |
| source .venv/Scripts/activate | |
| echo -e "Virtual environment: $VIRTUAL_ENV" && python --version | |
| echo "" | |
| cosmic-ray --verbosity=DEBUG baseline .vscode/cosmic-ray.toml | |
| cosmic-ray --verbosity=DEBUG exec .vscode/cosmic-ray.toml .vscode/cosmic-ray.sqlite |
This file contains hidden or 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
| export NVM_DIR="$HOME/.nvm" | |
| # Timing functionality provided by this Unix Stack Exchange answer: | |
| # https://unix.stackexchange.com/questions/52313/how-to-get-execution-time-of-a-script-effectively/52347#52347 | |
| function load_nvm() { | |
| start=`date +%s` | |
| echo 'Loading nvm...' | |
| [ -s "$NVM_DIR/nvm.sh" ] && \. "$NVM_DIR/nvm.sh" |
NewerOlder