From 813f00718f2a79452a4acefc6f16627676496f1e Mon Sep 17 00:00:00 2001 From: Mark Ridgwell Date: Tue, 14 Jul 2026 10:38:24 +0100 Subject: [PATCH 1/2] feat(linux): add dev-update script to pull dev repos and refresh ai skills Prompt: can you create me a script in this folder 'dev-update' which will do the folliwing things: 1 git pull in $HOME:/work/personal/credfeto-ai-skills if it exists then run $HOME/work/personal/credfeto-ai-skills/ai/skills/install 0. git pull on $HOME/work/personal/scripts 2. git pull on /home/markr/work/personal/credfeto-global-pre-commit 3 git pull on /home/markr/work/personal/cs-template --- linux/dev-update | 47 +++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 47 insertions(+) create mode 100755 linux/dev-update diff --git a/linux/dev-update b/linux/dev-update new file mode 100755 index 000000000..179442a0f --- /dev/null +++ b/linux/dev-update @@ -0,0 +1,47 @@ +#! /bin/sh + +die() { + printf '\n\033[31m✗\033[0m %s\n' "$*" >&2 + exit 1 +} + +success() { + printf '\n\033[32m✓\033[0m %s\n' "$*" +} + +info() { + printf '\n\033[32m→\033[0m %s\n' "$*" +} + +update_repo() { + REPO_PATH="$1" + + if [ ! -d "${REPO_PATH}" ]; then + info "Skipping ${REPO_PATH} (not present)" + return + fi + + info "Pulling ${REPO_PATH}..." + git -C "${REPO_PATH}" pull || die "Failed to pull ${REPO_PATH}" +} + +update_repo "${HOME}/work/personal/scripts" +update_repo "${HOME}/work/personal/credfeto-global-pre-commit" +update_repo "${HOME}/work/personal/cs-template" + +CREDFETO_AI_SKILLS="${HOME}/work/personal/credfeto-ai-skills" + +if [ -d "${CREDFETO_AI_SKILLS}" ]; then + update_repo "${CREDFETO_AI_SKILLS}" + + INSTALL_SCRIPT="${CREDFETO_AI_SKILLS}/ai/skills/install" + + [ -x "${INSTALL_SCRIPT}" ] || die "Install script not found or not executable: ${INSTALL_SCRIPT}" + + info "Running ${INSTALL_SCRIPT}..." + "${INSTALL_SCRIPT}" || die "Failed to run ${INSTALL_SCRIPT}" +else + info "Skipping ${CREDFETO_AI_SKILLS} (not present)" +fi + +success "Dev environment updated" From 92a7f3458ebec07c25dbc7b85bc02cab7507f002 Mon Sep 17 00:00:00 2001 From: Mark Ridgwell Date: Tue, 14 Jul 2026 10:46:36 +0100 Subject: [PATCH 2/2] docs(changelog): add entry for linux/dev-update script Prompt: changelog? --- CHANGELOG.md | 1 + 1 file changed, 1 insertion(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index 3cdea947e..5251a0b61 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -12,6 +12,7 @@ Please ADD ALL Changes to the UNRELEASED SECTION and not a specific release - git/ignore-changelog: script to add CHANGELOG.md to .markdownlintignore across git repositories - git/reset-all: script to run git reset --hard HEAD across all git repositories - git/push-all: script to push all git repositories +- linux/dev-update: script to pull core dev repos (scripts, credfeto-global-pre-commit, cs-template, credfeto-ai-skills) and reinstall AI skills ### Fixed - Shell scripts were cleaned up to pass pre-commit checks, and git/fetch now uses consistent info/success output. - Replace raw echo output with standard die/success/info helpers in network/wg-create