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 rebase_check() { | |
| echo -e "Checking if rebase was correct..." > rebase-check.md | |
| echo -e "\n==============================" >> rebase-check.md | |
| echo -e "References before rebase: $1..$2\n" >> rebase-check.md | |
| git fl2 $1 -n1 >> rebase-check.md | |
| echo "" >> rebase-check.md | |
| git fl2 $2 -n1 >> rebase-check.md |
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_short_log() { | |
| sanitized_commits=$(sed 's/\.\././g' <<< "$1") | |
| commit1=$(echo "$sanitized_commits" | cut -d '.' -f 1) | |
| commit2=$(echo "$sanitized_commits" | cut -d '.' -f 2) | |
| echo -e "==============================" | |
| echo -e "Short log between $commit1 and $commit2:\n" | |
| git shortlog --group=author $commit1..$commit2 |
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_file_url() { | |
| repourl=$(echo "$(git config --get remote.origin.url)" | sed -e 's/git@/https:\/\//' -e 's/\.git$//') | |
| branch=$(git branch --show-current) | |
| relative_file_path=$(echo $1 | sed -e 's/\\/\//g') | |
| echo $repourl/blob/$branch/$relative_file_path | |
| } |
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');", |
NewerOlder