Power limit for nvidia GPUs
You can make GPUs consume less (or more) power by setting the power limit.
Source: Puget systems
Blog¶
Git reset
- Mixed reset (default): discard untracked files, but the changed files are preserved but not marked for commit.
- Hard reset: Resets the index and working tree. Any changes to tracked files in the working tree since
commitare discarded. - Soft reset: Does not touch the index file or the working tree at all (but resets the head to
commit)
git reset --hard <SHA> # Reset git history to a specific commit
git reset HEAD~ # Reset state to the previous commit (~)
Github Action and Cirrus CI
Run Github actions after successful Cirrus CI runs with the check_suite trigger.
Purge Git database entirely
Erase all history in the Git repo to start over with all the current files. This also clears big file records in the Git database.
git checkout --orphan newBranch # Create an orphan branch to hold the files
git add -A && git commit # Add all files and commit them
git branch -D main # Deletes the main branch
git branch -m main # Rename the current orphan branch to main
git push -f origin main # Force push main branch to remote (e.g. github)
git gc --aggressive --prune=all # Remove the old files in the database
Git: Changed File Names With Certain Extension
For example, how to find changed PHP files between latest and the commit before it: 1
git diff --name-only HEAD~1 HEAD '**/*.php'
If the shell does not support the glob pattern, use grep
git diff --name-only HEAD~1 HEAD | grep .php