Skip to main content
Run any Skill in Manus
with one click
GitHub repository

dotfiles-pi

dotfiles-pi contains 3 collected skills from Ven0m0, with repository-level occupation coverage and site-owned skill detail pages.

skills collected
3
Stars
0
updated
2026-07-03
Forks
0
Occupation coverage
2 occupation categories · 100% classified
repository explorer

Skills in this repository

merge-to-main
software-developers

Use when the user wants to commit staged/local changes, sync with the remote (and an upstream fork source if one is configured), and push — without losing local work. Triggers on "merge my changes", "push to remote", "commit and push", "merge into main", "sync local changes", "get my changes onto main", "sync with upstream", "pull upstream changes", "pull remote changes while keeping mine", or any request to integrate local/staged/branch work with a moved-on remote and push it. Detects the repo's actual remote topology instead of assuming one — works the same way in any git project.

2026-07-03
validate-repo-script
software-developers

Run this repo's (dotfiles-pi) Bash validation recipe from AGENTS.md — bash -n, shellcheck, and a bash-language-server parse check — against one script, a list of scripts, or every tracked *.sh file. Use when asked to "validate", "check", or "lint" scripts in this repo, before claiming a script change is done, or before a commit that touches .sh files. A PostToolUse hook already runs this per-edit; use this skill for a full/batch pass instead.

2026-07-03
check-dietpi-config
network-and-computer-systems-administrators

Validate dietpi.txt and dietpi-wifi.txt in this repo (dotfiles-pi) against the build-image.yml CI gate, this repo's secret-handling rules, and DietPi's real software-ID catalog. Use before committing changes to dietpi.txt/dietpi-wifi.txt, before triggering an image build, or whenever asked to check/validate/review DietPi config in this repo.

2026-07-03