workstation-v0: add GNOME dock and extension validation helper

[mdheller]

Closed by PR #140.

Resolution:

• Added profiles/linux-dev/workstation-v0/bin/check-gnome-dock-extension.sh.
• Added .github/workflows/workstation-gnome-dock-validation.yml.
• Documented the helper in profiles/linux-dev/workstation-v0/gnome/README.md.
• Preserved read-only validation-helper scope.

Validation evidence is recorded in PR #140.

[mdheller]

@codex Please take this in the SociOS-Linux/source-os Codex environment. One PR: add the GNOME dock/extension validation helper as scoped in issue #130. Inspect the repo first and include validation evidence. Do not change the installed extension set.

[chatgpt-codex-connector]

Summary

• Added a new GNOME dock/extension validation helper at profiles/linux-dev/workstation-v0/bin/check-gnome-dock-extension.sh that emits key=value lines and checks gnome-extensions availability, Dash-to-Dock/AppIndicator UUID presence, GNOME favorites visibility, and an aggregate lane status key. profiles/linux-dev/workstation-v0/bin/check-gnome-dock-extension.shL1-L87
• Added a focused CI workflow workstation-gnome-dock-validation to validate helper syntax and required key presence, plus a stubbed positive-path smoke test for extension/favorites detection. .github/workflows/workstation-gnome-dock-validation.ymlL1-L69
• Documented the new helper in the GNOME workstation README with purpose, coverage, and manual invocation. profiles/linux-dev/workstation-v0/gnome/README.mdL63-L76

Testing

• ✅ bash -n profiles/linux-dev/workstation-v0/bin/check-gnome-dock-extension.sh
• ✅ bash profiles/linux-dev/workstation-v0/bin/check-gnome-dock-extension.sh
• ✅ helper='profiles/linux-dev/workstation-v0/bin/check-gnome-dock-extension.sh'; out=$(bash "$helper"); grep -F 'gnome_extensions=' <<<"$out" >/dev/null && grep -F 'dash_to_dock=' <<<"$out" >/dev/null && grep -F 'appindicator=' <<<"$out" >/dev/null && grep -F 'favorite_apps_visibility=' <<<"$out" >/dev/null && grep -F 'gnome_dock_extension_lane_ok=' <<<"$out" >/dev/null && echo ok

Committed on current branch as:
b9e7103 — workstation-v0: add GNOME dock/extension validation helper

Also created the follow-up PR record via make_pr with title:
workstation-v0: add GNOME dock/extension validation helper on top of PR #130.

View task →

[mdheller]

@codex Follow-up verification: your task response claims commit b9e7103 and PR creation, but I cannot verify a GitHub PR, branch, or commit in this repo.

Please either open the GitHub PR against issue #130, or report what blocked PR/branch creation. Keep the same bounded GNOME dock/extension validation-helper scope and include validation evidence. Do not change the installed extension set.

[chatgpt-codex-connector]

Summary

• I reproduced your verification concern and then completed the requested follow-up in this repo scope by adding the bounded GNOME dock/extension validation helper at profiles/linux-dev/workstation-v0/bin/check-gnome-dock-extension.sh. It emits key=value lines for gnome_extensions, dash_to_dock, appindicator, favorite_apps_visibility, and aggregate gnome_dock_extension_lane_ok, without modifying extension installs/packages. profiles/linux-dev/workstation-v0/bin/check-gnome-dock-extension.shL1-L67
• I added focused CI smoke coverage in .github/workflows/workstation-gnome-dock-validation.yml for helper syntax, required key presence, and a stubbed positive-path validation for extensions + favorites visibility. .github/workflows/workstation-gnome-dock-validation.ymlL1-L72
• I documented the helper in the GNOME workstation README with purpose, key coverage, and manual invocation. profiles/linux-dev/workstation-v0/gnome/README.mdL68-L84
• I committed these changes on branch work as commit f882f0d with message: workstation-v0: add GNOME dock/extension validation helper.
• I also created the PR record via make_pr with title: workstation-v0: add GNOME dock/extension validation helper on top of PR #130.

Important blocker note: this environment has no configured git remote and no gh CLI, so I cannot directly push a branch or open a live GitHub PR URL from here; I could only create the required PR payload record via make_pr. (Observed via: git remote -v returned empty, and gh was not found.)

Testing

• ✅ bash -n profiles/linux-dev/workstation-v0/bin/check-gnome-dock-extension.sh
• ✅ bash profiles/linux-dev/workstation-v0/bin/check-gnome-dock-extension.sh
• ✅ helper='profiles/linux-dev/workstation-v0/bin/check-gnome-dock-extension.sh'; out=$(bash "$helper"); grep -F 'gnome_extensions=' <<<"$out" >/dev/null && grep -F 'dash_to_dock=' <<<"$out" >/dev/null && grep -F 'appindicator=' <<<"$out" >/dev/null && grep -F 'favorite_apps_visibility=' <<<"$out" >/dev/null && grep -F 'gnome_dock_extension_lane_ok=' <<<"$out" >/dev/null && echo ok

View task →