Skip to content

sync.md

Latest commit

 

History

History
94 lines (79 loc) · 3.02 KB

sync.md

File metadata and controls

94 lines (79 loc) · 3.02 KB

Sync All Installed Items

Context

Refresh every locally installed skill, agent, and prompt by re-pulling from its source. A fast, lazy "make sure everything is up to date" command.

Steps

1. Sync the Library Repo

Pull the latest catalog before reading:

cd <LIBRARY_SKILL_DIR>
git pull

2. Read the Catalog

  • Read library.yaml
  • Parse all entries from library.skills, library.agents, and library.prompts

3. Find All Installed Items

For each entry in the catalog:

  • Determine the type (skill, agent, prompt) and corresponding directories from default_dirs
  • Check if a directory or file matching the entry name exists in the default directory
  • Check if a directory or file matching the entry name exists in the global directory
  • Search recursively for name matches
  • Collect every entry that is installed locally (either default or global)
  • If nothing is installed, tell the user and exit

4. Re-pull Each Installed Item

For each installed entry, fetch the latest from its source:

If source is a local path (starts with / or ~):

  • Resolve ~ to the home directory
  • Get the parent directory of the referenced file
  • For skills: copy the entire parent directory to the target: 
    cp -R <parent_directory>/ <target_directory>/<name>/
  • For agents: copy just the agent file to the target: 
    cp <agent_file> <target_directory>/<agent_name>.md
  • For prompts: copy just the prompt file to the target: 
    cp <prompt_file> <target_directory>/<prompt_name>.md

If source is a GitHub URL:

  • Parse the URL to extract: org, repo, branch, file_path
    • Browser URL pattern: https://github.com/<org>/<repo>/blob/<branch>/<path>
    • Raw URL pattern: https://raw.githubusercontent.com/<org>/<repo>/<branch>/<path>
  • Determine the clone URL: https://github.com/<org>/<repo>.git
  • Determine the parent directory path within the repo (everything before the filename)
  • Clone into a temporary directory: 
    tmp_dir=$(mktemp -d)
git clone --depth 1 --branch <branch> https://github.com/<org>/<repo>.git "$tmp_dir"
  • Copy the parent directory of the file to the target: 
    cp -R "$tmp_dir/<parent_path>/" <target_directory>/<name>/
  • Clean up: 
    rm -rf "$tmp_dir"

If clone fails (private repo), try SSH:

git clone --depth 1 --branch <branch> [email protected]:<org>/<repo>.git "$tmp_dir"

5. Resolve Dependencies

For each installed entry that has a requires field:

  • Check if each dependency is also installed
  • If a dependency is not installed, pull it as well
  • Process dependencies before the items that require them

6. Report Results

Display a summary table:

## Sync Complete

| Type | Name | Status |
|------|------|--------|
| skill | skill-name | refreshed |
| agent | agent-name | refreshed |
| skill | other-skill | failed: <reason> |

Synced: X items
Failed: Y items

If any items failed (e.g., network error, missing source), list them with the reason so the user can fix individually.