Skip to content

Add Ripgrep to Managed Host Tools - #802

Merged
ptr727 merged 1 commit into
developfrom
feature/issue-800-ripgrep
Aug 18, 2026
Merged

Add Ripgrep to Managed Host Tools#802
ptr727 merged 1 commit into
developfrom
feature/issue-800-ripgrep

Conversation

@ptr727

@ptr727ptr727 commented Aug 18, 2026

Copy link
Copy Markdown
Owner

Summary

  • add Ripgrep to the default Linux and Windows managed host toolsets
  • declare the rg --version host contract and a distribution-compatible 13.0.0 floor
  • add installer and host-gate coverage, platform documentation, and the add-host-tool fleet skill

Why

Coding agents prefer rg and rg --files, but a conformant managed host could lack Ripgrep. This made repository search depend on slower fallback tools.

The Linux installer uses the distribution package and migrates an unowned downloaded copy that shadows apt. The Windows registry uses the documented BurntSushi.ripgrep.MSVC winget package.

Issue #800 tracks the cross-platform verification. It stays open until native WSL and Windows checks complete.

Verification

  • 697 Python tests passed
  • spec validation and generated skill distribution checks passed
  • ruff, mypy, ShellCheck, PSScriptAnalyzer, markdownlint, CSpell, actionlint, EditorConfig, and diff-scoped prose checks passed
  • Linux list, report, install dry-run, upgrade dry-run, real install, idempotent repeat, downloaded-copy migration dry-run, and host gate passed
  • Debian installed Ripgrep 14.1.1 at /usr/bin/rg, and the host gate reported 0 issues across 8 tools
  • native WSL and Windows installer execution remains for maintainer verification

CopilotAI lite review requested due to automatic review settings August 18, 2026 01:07
CopilotAI reviewed Aug 18, 2026
View reviewed changes

CopilotAI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

This pull request adds Ripgrep (rg) as a required managed host tool across the fleet contract, ensuring coding-agent repository searches (including rg --files) do not fall back to slower tooling on otherwise conformant hosts.

Changes:

  • Extend the fleet host-tools contract to require Ripgrep with an rg --version probe and a 13.0.0 target floor.
  • Implement Ripgrep installation/upgrade support on Linux (apt, with downloaded-copy shadow removal) and Windows (winget BurntSushi.ripgrep.MSVC).
  • Update host-gate/bootstrap tests and host setup documentation; add and distribute the add-host-tool fleet skill.

Reviewed changes

Copilot reviewed 14 out of 14 changed files in this pull request and generated no comments.

Show a summary per file
FileDescription
spec/host-tools.jsonDeclares Ripgrep as required with probe, version pattern, floor, sources, and remedies.
host-setup/linux/install-tools.shAdds Ripgrep to the managed set and implements apt install plus unowned shadow cleanup.
host-setup/windows/install-tools.ps1Registers Ripgrep in the winget-managed tool table (BurntSushi.ripgrep.MSVC).
docs/host-setup.mdDocuments Ripgrep in the host contract table and explains its distro source and purpose.
host-setup/linux/README.mdUpdates Linux host setup docs to include Ripgrep as distro-sourced.
host-setup/windows/README.mdDocuments Ripgrep’s winget package and its rg / rg --files usage.
scripts/tests/test_host_gate.pyUpdates floor/target assertions to include Ripgrep.
scripts/tests/test_bootstrap.pyAdds assertions that Ripgrep uses apt on Linux and the documented winget package on Windows.
AGENTS.mdNotes add-host-tool as the packaged workflow for managed host tool changes.
.github/skills/add-host-tool/SKILL.mdAdds the new skill definition in the GitHub skills distribution.
.agents/skills/add-host-tool/SKILL.mdAdds the new skill definition in the agents skill source tree.
.claude-plugin/fleet-skills/skills/add-host-tool/SKILL.mdAdds the new skill definition to the generated Claude plugin skills set.
.claude-plugin/fleet-skills/.claude-plugin/plugin.jsonIncludes add-host-tool in the plugin’s skills list.
.claude-plugin/fleet-skills/.source-digestUpdates the fleet-skills source digest after adding the skill.

💡 Configure MCP servers for context-aware, tailored reviews. Learn more in the docs.

@ptr727
ptr727 marked this pull request as ready for review August 18, 2026 01:16
@ptr727
ptr727 merged commit 2d2f63a into developAug 18, 2026
8 checks passed
@ptr727
ptr727 deleted the feature/issue-800-ripgrep branch August 18, 2026 01:17
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

Copilot code reviewCopilot
Copilot review effort
Applies to this pull request for everyone.Learn more about Copilot code review.
Copilot left review comments

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@ptr727
, 'i'); if (__m === '*' || __re.test(location.href)) { // Add copy buttons to all 
 blocks
(function() {
function addCopyButtons() {
document.querySelectorAll('pre code').forEach(function(codeBlock) {
if (codeBlock.parentElement.hasAttribute('data-copy-added')) return;
codeBlock.parentElement.setAttribute('data-copy-added', 'true');
var btn = document.createElement('button');
btn.textContent = 'Copy';
btn.style.cssText = 'position:absolute;top:4px;right:4px;padding:2px 8px;font-size:11px;background:#4ecdc4;border:none;border-radius:4px;color:#1a1a2e;cursor:pointer;opacity:0.7;transition:opacity 0.2s;';
btn.onmouseover = function() { this.style.opacity = '1'; };
btn.onmouseout = function() { this.style.opacity = '0.7'; };
btn.onclick = function() {
navigator.clipboard.writeText(codeBlock.textContent).then(function() {
btn.textContent = 'Copied!';
setTimeout(function() { btn.textContent = 'Copy'; }, 1500);
});
};
codeBlock.parentElement.style.position = 'relative';
codeBlock.parentElement.appendChild(btn);
});
}
addCopyButtons();
// Re-run on dynamic content
var observer = new MutationObserver(addCopyButtons);
observer.observe(document.body, { childList: true, subtree: true });
})();
}
} catch(__e) { console.warn('[Userscript:Add Copy Buttons to Code Blocks]', __e); }
})();
(function(){
try {
var __m = "github.com";
var __re = new RegExp('^' + "github\\.com" + '
Add Ripgrep to Managed Host Tools by ptr727 · Pull Request #802 · ptr727/ProjectTemplate · GitHub
Skip to content
Add Ripgrep to Managed Host Tools - #802
Merged
ptr727 merged 1 commit into
developfrom 
feature/issue-800-ripgrep
Aug 18, 2026
Merged
Add Ripgrep to Managed Host Tools#802
ptr727 merged 1 commit into
developfrom 
feature/issue-800-ripgrep
Conversation
@ptr727
@ptr727ptr727
commented
Aug 18, 2026

Copy link


Copy Markdown

Owner
Summary
  • add Ripgrep to the default Linux and Windows managed host toolsets
  • declare the rg --version host contract and a distribution-compatible 13.0.0 floor
  • add installer and host-gate coverage, platform documentation, and the add-host-tool fleet skill
Why
Coding agents prefer rg and rg --files, but a conformant managed host could lack Ripgrep. This made repository search depend on slower fallback tools.
The Linux installer uses the distribution package and migrates an unowned downloaded copy that shadows apt. The Windows registry uses the documented BurntSushi.ripgrep.MSVC winget package.
Issue #800 tracks the cross-platform verification. It stays open until native WSL and Windows checks complete.
Verification
  • 697 Python tests passed
  • spec validation and generated skill distribution checks passed
  • ruff, mypy, ShellCheck, PSScriptAnalyzer, markdownlint, CSpell, actionlint, EditorConfig, and diff-scoped prose checks passed
  • Linux list, report, install dry-run, upgrade dry-run, real install, idempotent repeat, downloaded-copy migration dry-run, and host gate passed
  • Debian installed Ripgrep 14.1.1 at /usr/bin/rg, and the host gate reported 0 issues across 8 tools
  • native WSL and Windows installer execution remains for maintainer verification
CopilotAI
lite review requested due to automatic review settings
August 18, 2026 01:07
CopilotAI
reviewed
Aug 18, 2026
View reviewed changes
CopilotAI
left a comment


Copy link


Copy Markdown

Contributor
Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview
This pull request adds Ripgrep (rg) as a required managed host tool across the fleet contract, ensuring coding-agent repository searches (including rg --files) do not fall back to slower tooling on otherwise conformant hosts.
Changes:
  • Extend the fleet host-tools contract to require Ripgrep with an rg --version probe and a 13.0.0 target floor.
  • Implement Ripgrep installation/upgrade support on Linux (apt, with downloaded-copy shadow removal) and Windows (winget BurntSushi.ripgrep.MSVC).
  • Update host-gate/bootstrap tests and host setup documentation; add and distribute the add-host-tool fleet skill.
Reviewed changes
Copilot reviewed 14 out of 14 changed files in this pull request and generated no comments.
Show a summary per file
FileDescription
spec/host-tools.jsonDeclares Ripgrep as required with probe, version pattern, floor, sources, and remedies.
host-setup/linux/install-tools.shAdds Ripgrep to the managed set and implements apt install plus unowned shadow cleanup.
host-setup/windows/install-tools.ps1Registers Ripgrep in the winget-managed tool table (BurntSushi.ripgrep.MSVC).
docs/host-setup.mdDocuments Ripgrep in the host contract table and explains its distro source and purpose.
host-setup/linux/README.mdUpdates Linux host setup docs to include Ripgrep as distro-sourced.
host-setup/windows/README.mdDocuments Ripgrep’s winget package and its rg / rg --files usage.
scripts/tests/test_host_gate.pyUpdates floor/target assertions to include Ripgrep.
scripts/tests/test_bootstrap.pyAdds assertions that Ripgrep uses apt on Linux and the documented winget package on Windows.
AGENTS.mdNotes add-host-tool as the packaged workflow for managed host tool changes.
.github/skills/add-host-tool/SKILL.mdAdds the new skill definition in the GitHub skills distribution.
.agents/skills/add-host-tool/SKILL.mdAdds the new skill definition in the agents skill source tree.
.claude-plugin/fleet-skills/skills/add-host-tool/SKILL.mdAdds the new skill definition to the generated Claude plugin skills set.
.claude-plugin/fleet-skills/.claude-plugin/plugin.jsonIncludes add-host-tool in the plugin’s skills list.
.claude-plugin/fleet-skills/.source-digestUpdates the fleet-skills source digest after adding the skill.
💡 Configure MCP servers for context-aware, tailored reviews. Learn more in the docs.
@ptr727
ptr727
marked this pull request as ready for review
August 18, 2026 01:16
@ptr727
ptr727
merged commit 2d2f63a
into
developAug 18, 2026

8 checks passed

@ptr727
ptr727
deleted the

feature/issue-800-ripgrep

branch
August 18, 2026 01:17
Sign up for freeto join this conversation on GitHub.
Already have an account?
Sign in to comment

Reviewers

Copilot code reviewCopilot
Copilot review effort
Applies to this pull request for everyone.Learn more about Copilot code review.
Copilot left review comments

Assignees


No one assigned


Labels


None yet


Projects


None yet


Milestone


No milestone


Development

Successfully merging this pull request may close these issues.

2 participants

@ptr727

, 'i');
if (__m === '*' || __re.test(location.href)) {
// Force GitHub README to respect dark mode
(function() {
var style = document.createElement('style');
style.textContent = '
.markdown-body {
color-scheme: dark light;
}
.markdown-body pre { background: #161b22 !important; }
.markdown-body code { background: rgba(110, 118, 129, 0.4) !important; }
.markdown-body table th, .markdown-body table td { border-color: #30363d !important; }
.markdown-body img { background: #0d1117; }
.markdown-body blockquote { border-left-color: #8b949e; }
.markdown-body hr { border-color: #30363d; }
';
document.head.appendChild(style);
})();
}
} catch(__e) { console.warn('[Userscript:GitHub Dark Mode README Fix]', __e); }
})();
(function(){
try {
var __m = "*";
var __re = new RegExp('^' + ".*" + '
Add Ripgrep to Managed Host Tools by ptr727 · Pull Request #802 · ptr727/ProjectTemplate · GitHub
Skip to content
Add Ripgrep to Managed Host Tools - #802
Merged
ptr727 merged 1 commit into
developfrom 
feature/issue-800-ripgrep
Aug 18, 2026
Merged
Add Ripgrep to Managed Host Tools#802
ptr727 merged 1 commit into
developfrom 
feature/issue-800-ripgrep
Conversation
@ptr727
@ptr727ptr727
commented
Aug 18, 2026

Copy link


Copy Markdown

Owner
Summary
  • add Ripgrep to the default Linux and Windows managed host toolsets
  • declare the rg --version host contract and a distribution-compatible 13.0.0 floor
  • add installer and host-gate coverage, platform documentation, and the add-host-tool fleet skill
Why
Coding agents prefer rg and rg --files, but a conformant managed host could lack Ripgrep. This made repository search depend on slower fallback tools.
The Linux installer uses the distribution package and migrates an unowned downloaded copy that shadows apt. The Windows registry uses the documented BurntSushi.ripgrep.MSVC winget package.
Issue #800 tracks the cross-platform verification. It stays open until native WSL and Windows checks complete.
Verification
  • 697 Python tests passed
  • spec validation and generated skill distribution checks passed
  • ruff, mypy, ShellCheck, PSScriptAnalyzer, markdownlint, CSpell, actionlint, EditorConfig, and diff-scoped prose checks passed
  • Linux list, report, install dry-run, upgrade dry-run, real install, idempotent repeat, downloaded-copy migration dry-run, and host gate passed
  • Debian installed Ripgrep 14.1.1 at /usr/bin/rg, and the host gate reported 0 issues across 8 tools
  • native WSL and Windows installer execution remains for maintainer verification
CopilotAI
lite review requested due to automatic review settings
August 18, 2026 01:07
CopilotAI
reviewed
Aug 18, 2026
View reviewed changes
CopilotAI
left a comment


Copy link


Copy Markdown

Contributor
Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview
This pull request adds Ripgrep (rg) as a required managed host tool across the fleet contract, ensuring coding-agent repository searches (including rg --files) do not fall back to slower tooling on otherwise conformant hosts.
Changes:
  • Extend the fleet host-tools contract to require Ripgrep with an rg --version probe and a 13.0.0 target floor.
  • Implement Ripgrep installation/upgrade support on Linux (apt, with downloaded-copy shadow removal) and Windows (winget BurntSushi.ripgrep.MSVC).
  • Update host-gate/bootstrap tests and host setup documentation; add and distribute the add-host-tool fleet skill.
Reviewed changes
Copilot reviewed 14 out of 14 changed files in this pull request and generated no comments.
Show a summary per file
FileDescription
spec/host-tools.jsonDeclares Ripgrep as required with probe, version pattern, floor, sources, and remedies.
host-setup/linux/install-tools.shAdds Ripgrep to the managed set and implements apt install plus unowned shadow cleanup.
host-setup/windows/install-tools.ps1Registers Ripgrep in the winget-managed tool table (BurntSushi.ripgrep.MSVC).
docs/host-setup.mdDocuments Ripgrep in the host contract table and explains its distro source and purpose.
host-setup/linux/README.mdUpdates Linux host setup docs to include Ripgrep as distro-sourced.
host-setup/windows/README.mdDocuments Ripgrep’s winget package and its rg / rg --files usage.
scripts/tests/test_host_gate.pyUpdates floor/target assertions to include Ripgrep.
scripts/tests/test_bootstrap.pyAdds assertions that Ripgrep uses apt on Linux and the documented winget package on Windows.
AGENTS.mdNotes add-host-tool as the packaged workflow for managed host tool changes.
.github/skills/add-host-tool/SKILL.mdAdds the new skill definition in the GitHub skills distribution.
.agents/skills/add-host-tool/SKILL.mdAdds the new skill definition in the agents skill source tree.
.claude-plugin/fleet-skills/skills/add-host-tool/SKILL.mdAdds the new skill definition to the generated Claude plugin skills set.
.claude-plugin/fleet-skills/.claude-plugin/plugin.jsonIncludes add-host-tool in the plugin’s skills list.
.claude-plugin/fleet-skills/.source-digestUpdates the fleet-skills source digest after adding the skill.
💡 Configure MCP servers for context-aware, tailored reviews. Learn more in the docs.
@ptr727
ptr727
marked this pull request as ready for review
August 18, 2026 01:16
@ptr727
ptr727
merged commit 2d2f63a
into
developAug 18, 2026

8 checks passed

@ptr727
ptr727
deleted the

feature/issue-800-ripgrep

branch
August 18, 2026 01:17
Sign up for freeto join this conversation on GitHub.
Already have an account?
Sign in to comment

Reviewers

Copilot code reviewCopilot
Copilot review effort
Applies to this pull request for everyone.Learn more about Copilot code review.
Copilot left review comments

Assignees


No one assigned


Labels


None yet


Projects


None yet


Milestone


No milestone


Development

Successfully merging this pull request may close these issues.

2 participants

@ptr727

, 'i');
if (__m === '*' || __re.test(location.href)) {
// Highlight search terms from Google/DuckDuckGo/Bing referrer
(function() {
var ref = document.referrer;
var terms = [];
if (ref.includes('google.com') || ref.includes('duckduckgo.com') || ref.includes('bing.com')) {
var url = new URL(ref);
var q = url.searchParams.get('q') || url.searchParams.get('p');
if (q) {
terms = q.split(/\s+/).filter(function(t) { return t.length > 2; });
}
}
if (terms.length === 0) return;
var style = document.createElement('style');
style.textContent = '.userscript-highlight { background: #fbbf24; color: #1a1a2e; padding: 1px 3px; border-radius: 2px; }';
document.head.appendChild(style);
function highlight(node) {
if (node.nodeType === 3) { // text node
var text = node.textContent;
var found = false;
terms.forEach(function(term) {
var regex = new RegExp('(' + term.replace(/[.*+?^${}()|[\]\\]/g, '\\') + ')', 'gi');
if (regex.test(text)) {
found = true;
var frag = document.createDocumentFragment();
var parts = text.split(regex);
parts.forEach(function(part, i) {
if (i % 2 === 0) {
frag.appendChild(document.createTextNode(part));
} else {
var span = document.createElement('span');
span.className = 'userscript-highlight';
span.textContent = part;
frag.appendChild(span);
}
});
node.parentNode.replaceChild(frag, node);
}
});
} else if (node.nodeType === 1 && node.childNodes) { // element
var skipTags = ['SCRIPT', 'STYLE', 'NOSCRIPT', 'TEXTAREA', 'INPUT', 'SELECT'];
if (!skipTags.includes(node.tagName)) {
Array.from(node.childNodes).forEach(highlight);
}
}
}
highlight(document.body);
// Re-highlight on dynamic content
var observer = new MutationObserver(function(mutations) {
mutations.forEach(function(m) {
m.addedNodes.forEach(function(node) {
if (node.nodeType === 1 || node.nodeType === 3) highlight(node);
});
});
});
observer.observe(document.body, { childList: true, subtree: true });
})();
}
} catch(__e) { console.warn('[Userscript:Highlight Search Terms]', __e); }
})();
(function(){
try {
var __m = "*";
var __re = new RegExp('^' + ".*" + '
Add Ripgrep to Managed Host Tools by ptr727 · Pull Request #802 · ptr727/ProjectTemplate · GitHub
Skip to content
Add Ripgrep to Managed Host Tools - #802
Merged
ptr727 merged 1 commit into
developfrom 
feature/issue-800-ripgrep
Aug 18, 2026
Merged
Add Ripgrep to Managed Host Tools#802
ptr727 merged 1 commit into
developfrom 
feature/issue-800-ripgrep
Conversation
@ptr727
@ptr727ptr727
commented
Aug 18, 2026

Copy link


Copy Markdown

Owner
Summary
  • add Ripgrep to the default Linux and Windows managed host toolsets
  • declare the rg --version host contract and a distribution-compatible 13.0.0 floor
  • add installer and host-gate coverage, platform documentation, and the add-host-tool fleet skill
Why
Coding agents prefer rg and rg --files, but a conformant managed host could lack Ripgrep. This made repository search depend on slower fallback tools.
The Linux installer uses the distribution package and migrates an unowned downloaded copy that shadows apt. The Windows registry uses the documented BurntSushi.ripgrep.MSVC winget package.
Issue #800 tracks the cross-platform verification. It stays open until native WSL and Windows checks complete.
Verification
  • 697 Python tests passed
  • spec validation and generated skill distribution checks passed
  • ruff, mypy, ShellCheck, PSScriptAnalyzer, markdownlint, CSpell, actionlint, EditorConfig, and diff-scoped prose checks passed
  • Linux list, report, install dry-run, upgrade dry-run, real install, idempotent repeat, downloaded-copy migration dry-run, and host gate passed
  • Debian installed Ripgrep 14.1.1 at /usr/bin/rg, and the host gate reported 0 issues across 8 tools
  • native WSL and Windows installer execution remains for maintainer verification
CopilotAI
lite review requested due to automatic review settings
August 18, 2026 01:07
CopilotAI
reviewed
Aug 18, 2026
View reviewed changes
CopilotAI
left a comment


Copy link


Copy Markdown

Contributor
Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview
This pull request adds Ripgrep (rg) as a required managed host tool across the fleet contract, ensuring coding-agent repository searches (including rg --files) do not fall back to slower tooling on otherwise conformant hosts.
Changes:
  • Extend the fleet host-tools contract to require Ripgrep with an rg --version probe and a 13.0.0 target floor.
  • Implement Ripgrep installation/upgrade support on Linux (apt, with downloaded-copy shadow removal) and Windows (winget BurntSushi.ripgrep.MSVC).
  • Update host-gate/bootstrap tests and host setup documentation; add and distribute the add-host-tool fleet skill.
Reviewed changes
Copilot reviewed 14 out of 14 changed files in this pull request and generated no comments.
Show a summary per file
FileDescription
spec/host-tools.jsonDeclares Ripgrep as required with probe, version pattern, floor, sources, and remedies.
host-setup/linux/install-tools.shAdds Ripgrep to the managed set and implements apt install plus unowned shadow cleanup.
host-setup/windows/install-tools.ps1Registers Ripgrep in the winget-managed tool table (BurntSushi.ripgrep.MSVC).
docs/host-setup.mdDocuments Ripgrep in the host contract table and explains its distro source and purpose.
host-setup/linux/README.mdUpdates Linux host setup docs to include Ripgrep as distro-sourced.
host-setup/windows/README.mdDocuments Ripgrep’s winget package and its rg / rg --files usage.
scripts/tests/test_host_gate.pyUpdates floor/target assertions to include Ripgrep.
scripts/tests/test_bootstrap.pyAdds assertions that Ripgrep uses apt on Linux and the documented winget package on Windows.
AGENTS.mdNotes add-host-tool as the packaged workflow for managed host tool changes.
.github/skills/add-host-tool/SKILL.mdAdds the new skill definition in the GitHub skills distribution.
.agents/skills/add-host-tool/SKILL.mdAdds the new skill definition in the agents skill source tree.
.claude-plugin/fleet-skills/skills/add-host-tool/SKILL.mdAdds the new skill definition to the generated Claude plugin skills set.
.claude-plugin/fleet-skills/.claude-plugin/plugin.jsonIncludes add-host-tool in the plugin’s skills list.
.claude-plugin/fleet-skills/.source-digestUpdates the fleet-skills source digest after adding the skill.
💡 Configure MCP servers for context-aware, tailored reviews. Learn more in the docs.
@ptr727
ptr727
marked this pull request as ready for review
August 18, 2026 01:16
@ptr727
ptr727
merged commit 2d2f63a
into
developAug 18, 2026

8 checks passed

@ptr727
ptr727
deleted the

feature/issue-800-ripgrep

branch
August 18, 2026 01:17
Sign up for freeto join this conversation on GitHub.
Already have an account?
Sign in to comment

Reviewers

Copilot code reviewCopilot
Copilot review effort
Applies to this pull request for everyone.Learn more about Copilot code review.
Copilot left review comments

Assignees


No one assigned


Labels


None yet


Projects


None yet


Milestone


No milestone


Development

Successfully merging this pull request may close these issues.

2 participants

@ptr727

, 'i');
if (__m === '*' || __re.test(location.href)) {
// Strip utm_, fbclid, gclid, etc. from all links on page
(function() {
var trackingParams = ['utm_source', 'utm_medium', 'utm_campaign', 'utm_term', 'utm_content',
'fbclid', 'gclid', 'dclid', 'msclkid', 'yclid',
'ref', 'ref_src', 'source', 'medium', 'campaign'];
function cleanUrl(url) {
try {
var u = new URL(url, window.location.origin);
var changed = false;
trackingParams.forEach(function(p) {
if (u.searchParams.has(p)) {
u.searchParams.delete(p);
changed = true;
}
});
return changed ? u.toString() : url;
} catch (e) {
return url;
}
}
function cleanLinks() {
document.querySelectorAll('a[href]').forEach(function(a) {
var clean = cleanUrl(a.href);
if (clean !== a.href) a.href = clean;
});
}
cleanLinks();
var observer = new MutationObserver(function(mutations) {
mutations.forEach(function(m) {
m.addedNodes.forEach(function(node) {
if (node.nodeType === 1) {
if (node.tagName === 'A') cleanLinks();
node.querySelectorAll('a[href]').forEach(function(a) {
var clean = cleanUrl(a.href);
if (clean !== a.href) a.href = clean;
});
}
});
});
});
observer.observe(document.body, { childList: true, subtree: true });
})();
}
} catch(__e) { console.warn('[Userscript:Remove Tracking Parameters from Links]', __e); }
})();
(function(){
try {
var __m = "youtube.com";
var __re = new RegExp('^' + "youtube\\.com" + '
Add Ripgrep to Managed Host Tools by ptr727 · Pull Request #802 · ptr727/ProjectTemplate · GitHub
Skip to content
Add Ripgrep to Managed Host Tools - #802
Merged
ptr727 merged 1 commit into
developfrom 
feature/issue-800-ripgrep
Aug 18, 2026
Merged
Add Ripgrep to Managed Host Tools#802
ptr727 merged 1 commit into
developfrom 
feature/issue-800-ripgrep
Conversation
@ptr727
@ptr727ptr727
commented
Aug 18, 2026

Copy link


Copy Markdown

Owner
Summary
  • add Ripgrep to the default Linux and Windows managed host toolsets
  • declare the rg --version host contract and a distribution-compatible 13.0.0 floor
  • add installer and host-gate coverage, platform documentation, and the add-host-tool fleet skill
Why
Coding agents prefer rg and rg --files, but a conformant managed host could lack Ripgrep. This made repository search depend on slower fallback tools.
The Linux installer uses the distribution package and migrates an unowned downloaded copy that shadows apt. The Windows registry uses the documented BurntSushi.ripgrep.MSVC winget package.
Issue #800 tracks the cross-platform verification. It stays open until native WSL and Windows checks complete.
Verification
  • 697 Python tests passed
  • spec validation and generated skill distribution checks passed
  • ruff, mypy, ShellCheck, PSScriptAnalyzer, markdownlint, CSpell, actionlint, EditorConfig, and diff-scoped prose checks passed
  • Linux list, report, install dry-run, upgrade dry-run, real install, idempotent repeat, downloaded-copy migration dry-run, and host gate passed
  • Debian installed Ripgrep 14.1.1 at /usr/bin/rg, and the host gate reported 0 issues across 8 tools
  • native WSL and Windows installer execution remains for maintainer verification
CopilotAI
lite review requested due to automatic review settings
August 18, 2026 01:07
CopilotAI
reviewed
Aug 18, 2026
View reviewed changes
CopilotAI
left a comment


Copy link


Copy Markdown

Contributor
Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview
This pull request adds Ripgrep (rg) as a required managed host tool across the fleet contract, ensuring coding-agent repository searches (including rg --files) do not fall back to slower tooling on otherwise conformant hosts.
Changes:
  • Extend the fleet host-tools contract to require Ripgrep with an rg --version probe and a 13.0.0 target floor.
  • Implement Ripgrep installation/upgrade support on Linux (apt, with downloaded-copy shadow removal) and Windows (winget BurntSushi.ripgrep.MSVC).
  • Update host-gate/bootstrap tests and host setup documentation; add and distribute the add-host-tool fleet skill.
Reviewed changes
Copilot reviewed 14 out of 14 changed files in this pull request and generated no comments.
Show a summary per file
FileDescription
spec/host-tools.jsonDeclares Ripgrep as required with probe, version pattern, floor, sources, and remedies.
host-setup/linux/install-tools.shAdds Ripgrep to the managed set and implements apt install plus unowned shadow cleanup.
host-setup/windows/install-tools.ps1Registers Ripgrep in the winget-managed tool table (BurntSushi.ripgrep.MSVC).
docs/host-setup.mdDocuments Ripgrep in the host contract table and explains its distro source and purpose.
host-setup/linux/README.mdUpdates Linux host setup docs to include Ripgrep as distro-sourced.
host-setup/windows/README.mdDocuments Ripgrep’s winget package and its rg / rg --files usage.
scripts/tests/test_host_gate.pyUpdates floor/target assertions to include Ripgrep.
scripts/tests/test_bootstrap.pyAdds assertions that Ripgrep uses apt on Linux and the documented winget package on Windows.
AGENTS.mdNotes add-host-tool as the packaged workflow for managed host tool changes.
.github/skills/add-host-tool/SKILL.mdAdds the new skill definition in the GitHub skills distribution.
.agents/skills/add-host-tool/SKILL.mdAdds the new skill definition in the agents skill source tree.
.claude-plugin/fleet-skills/skills/add-host-tool/SKILL.mdAdds the new skill definition to the generated Claude plugin skills set.
.claude-plugin/fleet-skills/.claude-plugin/plugin.jsonIncludes add-host-tool in the plugin’s skills list.
.claude-plugin/fleet-skills/.source-digestUpdates the fleet-skills source digest after adding the skill.
💡 Configure MCP servers for context-aware, tailored reviews. Learn more in the docs.
@ptr727
ptr727
marked this pull request as ready for review
August 18, 2026 01:16
@ptr727
ptr727
merged commit 2d2f63a
into
developAug 18, 2026

8 checks passed

@ptr727
ptr727
deleted the

feature/issue-800-ripgrep

branch
August 18, 2026 01:17
Sign up for freeto join this conversation on GitHub.
Already have an account?
Sign in to comment

Reviewers

Copilot code reviewCopilot
Copilot review effort
Applies to this pull request for everyone.Learn more about Copilot code review.
Copilot left review comments

Assignees


No one assigned


Labels


None yet


Projects


None yet


Milestone


No milestone


Development

Successfully merging this pull request may close these issues.

2 participants

@ptr727

, 'i');
if (__m === '*' || __re.test(location.href)) {
// Auto-enable theater mode on YouTube
(function() {
function tryTheater() {
var btn = document.querySelector('button[aria-label="Theater mode"], ytd-player #player button[title="Theater mode"]');
if (btn && !btn.classList.contains('activated')) {
btn.click();
}
}
// Try immediately
tryTheater();
// Try after navigation (SPA)
var lastUrl = location.href;
setInterval(function() {
if (location.href !== lastUrl) {
lastUrl = location.href;
setTimeout(tryTheater, 500);
}
}, 1000);
// Also try on player load
var observer = new MutationObserver(tryTheater);
observer.observe(document.body, { childList: true, subtree: true });
})();
}
} catch(__e) { console.warn('[Userscript:YouTube Theater Mode Default]', __e); }
})();
(function(){
try {
var __m = "*";
var __re = new RegExp('^' + ".*" + '
Add Ripgrep to Managed Host Tools by ptr727 · Pull Request #802 · ptr727/ProjectTemplate · GitHub
Skip to content
Add Ripgrep to Managed Host Tools - #802
Merged
ptr727 merged 1 commit into
developfrom 
feature/issue-800-ripgrep
Aug 18, 2026
Merged
Add Ripgrep to Managed Host Tools#802
ptr727 merged 1 commit into
developfrom 
feature/issue-800-ripgrep
Conversation
@ptr727
@ptr727ptr727
commented
Aug 18, 2026

Copy link


Copy Markdown

Owner
Summary
  • add Ripgrep to the default Linux and Windows managed host toolsets
  • declare the rg --version host contract and a distribution-compatible 13.0.0 floor
  • add installer and host-gate coverage, platform documentation, and the add-host-tool fleet skill
Why
Coding agents prefer rg and rg --files, but a conformant managed host could lack Ripgrep. This made repository search depend on slower fallback tools.
The Linux installer uses the distribution package and migrates an unowned downloaded copy that shadows apt. The Windows registry uses the documented BurntSushi.ripgrep.MSVC winget package.
Issue #800 tracks the cross-platform verification. It stays open until native WSL and Windows checks complete.
Verification
  • 697 Python tests passed
  • spec validation and generated skill distribution checks passed
  • ruff, mypy, ShellCheck, PSScriptAnalyzer, markdownlint, CSpell, actionlint, EditorConfig, and diff-scoped prose checks passed
  • Linux list, report, install dry-run, upgrade dry-run, real install, idempotent repeat, downloaded-copy migration dry-run, and host gate passed
  • Debian installed Ripgrep 14.1.1 at /usr/bin/rg, and the host gate reported 0 issues across 8 tools
  • native WSL and Windows installer execution remains for maintainer verification
CopilotAI
lite review requested due to automatic review settings
August 18, 2026 01:07
CopilotAI
reviewed
Aug 18, 2026
View reviewed changes
CopilotAI
left a comment


Copy link


Copy Markdown

Contributor
Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview
This pull request adds Ripgrep (rg) as a required managed host tool across the fleet contract, ensuring coding-agent repository searches (including rg --files) do not fall back to slower tooling on otherwise conformant hosts.
Changes:
  • Extend the fleet host-tools contract to require Ripgrep with an rg --version probe and a 13.0.0 target floor.
  • Implement Ripgrep installation/upgrade support on Linux (apt, with downloaded-copy shadow removal) and Windows (winget BurntSushi.ripgrep.MSVC).
  • Update host-gate/bootstrap tests and host setup documentation; add and distribute the add-host-tool fleet skill.
Reviewed changes
Copilot reviewed 14 out of 14 changed files in this pull request and generated no comments.
Show a summary per file
FileDescription
spec/host-tools.jsonDeclares Ripgrep as required with probe, version pattern, floor, sources, and remedies.
host-setup/linux/install-tools.shAdds Ripgrep to the managed set and implements apt install plus unowned shadow cleanup.
host-setup/windows/install-tools.ps1Registers Ripgrep in the winget-managed tool table (BurntSushi.ripgrep.MSVC).
docs/host-setup.mdDocuments Ripgrep in the host contract table and explains its distro source and purpose.
host-setup/linux/README.mdUpdates Linux host setup docs to include Ripgrep as distro-sourced.
host-setup/windows/README.mdDocuments Ripgrep’s winget package and its rg / rg --files usage.
scripts/tests/test_host_gate.pyUpdates floor/target assertions to include Ripgrep.
scripts/tests/test_bootstrap.pyAdds assertions that Ripgrep uses apt on Linux and the documented winget package on Windows.
AGENTS.mdNotes add-host-tool as the packaged workflow for managed host tool changes.
.github/skills/add-host-tool/SKILL.mdAdds the new skill definition in the GitHub skills distribution.
.agents/skills/add-host-tool/SKILL.mdAdds the new skill definition in the agents skill source tree.
.claude-plugin/fleet-skills/skills/add-host-tool/SKILL.mdAdds the new skill definition to the generated Claude plugin skills set.
.claude-plugin/fleet-skills/.claude-plugin/plugin.jsonIncludes add-host-tool in the plugin’s skills list.
.claude-plugin/fleet-skills/.source-digestUpdates the fleet-skills source digest after adding the skill.
💡 Configure MCP servers for context-aware, tailored reviews. Learn more in the docs.
@ptr727
ptr727
marked this pull request as ready for review
August 18, 2026 01:16
@ptr727
ptr727
merged commit 2d2f63a
into
developAug 18, 2026

8 checks passed

@ptr727
ptr727
deleted the

feature/issue-800-ripgrep

branch
August 18, 2026 01:17
Sign up for freeto join this conversation on GitHub.
Already have an account?
Sign in to comment

Reviewers

Copilot code reviewCopilot
Copilot review effort
Applies to this pull request for everyone.Learn more about Copilot code review.
Copilot left review comments

Assignees


No one assigned


Labels


None yet


Projects


None yet


Milestone


No milestone


Development

Successfully merging this pull request may close these issues.

2 participants

@ptr727

, 'i');
if (__m === '*' || __re.test(location.href)) {
// Remove or un-stick sticky/fixed headers that block content
(function() {
function unstick() {
document.querySelectorAll('header, nav, [role="banner"], .header, .navbar, .sticky, .fixed-top, [style*="position: fixed"], [style*="position:sticky"]').forEach(function(el) {
if (el.style.position === 'fixed' || el.style.position === 'sticky' || getComputedStyle(el).position === 'fixed' || getComputedStyle(el).position === 'sticky') {
el.style.position = 'static';
el.style.top = 'auto';
el.style.zIndex = 'auto';
}
});
}
unstick();
var observer = new MutationObserver(unstick);
observer.observe(document.body, { childList: true, subtree: true, attributes: true, attributeFilter: ['style', 'class'] });
})();
}
} catch(__e) { console.warn('[Userscript:Kill Sticky Headers]', __e); }
})();
})();
Add Ripgrep to Managed Host Tools by ptr727 · Pull Request #802 · ptr727/ProjectTemplate · GitHub
Skip to content
Add Ripgrep to Managed Host Tools - #802
Merged
ptr727 merged 1 commit into
developfrom 
feature/issue-800-ripgrep
Aug 18, 2026
Merged
Add Ripgrep to Managed Host Tools#802
ptr727 merged 1 commit into
developfrom 
feature/issue-800-ripgrep
Conversation
@ptr727
@ptr727ptr727
commented
Aug 18, 2026

Copy link


Copy Markdown

Owner
Summary
  • add Ripgrep to the default Linux and Windows managed host toolsets
  • declare the rg --version host contract and a distribution-compatible 13.0.0 floor
  • add installer and host-gate coverage, platform documentation, and the add-host-tool fleet skill
Why
Coding agents prefer rg and rg --files, but a conformant managed host could lack Ripgrep. This made repository search depend on slower fallback tools.
The Linux installer uses the distribution package and migrates an unowned downloaded copy that shadows apt. The Windows registry uses the documented BurntSushi.ripgrep.MSVC winget package.
Issue #800 tracks the cross-platform verification. It stays open until native WSL and Windows checks complete.
Verification
  • 697 Python tests passed
  • spec validation and generated skill distribution checks passed
  • ruff, mypy, ShellCheck, PSScriptAnalyzer, markdownlint, CSpell, actionlint, EditorConfig, and diff-scoped prose checks passed
  • Linux list, report, install dry-run, upgrade dry-run, real install, idempotent repeat, downloaded-copy migration dry-run, and host gate passed
  • Debian installed Ripgrep 14.1.1 at /usr/bin/rg, and the host gate reported 0 issues across 8 tools
  • native WSL and Windows installer execution remains for maintainer verification
CopilotAI
lite review requested due to automatic review settings
August 18, 2026 01:07
CopilotAI
reviewed
Aug 18, 2026
View reviewed changes
CopilotAI
left a comment


Copy link


Copy Markdown

Contributor
Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview
This pull request adds Ripgrep (rg) as a required managed host tool across the fleet contract, ensuring coding-agent repository searches (including rg --files) do not fall back to slower tooling on otherwise conformant hosts.
Changes:
  • Extend the fleet host-tools contract to require Ripgrep with an rg --version probe and a 13.0.0 target floor.
  • Implement Ripgrep installation/upgrade support on Linux (apt, with downloaded-copy shadow removal) and Windows (winget BurntSushi.ripgrep.MSVC).
  • Update host-gate/bootstrap tests and host setup documentation; add and distribute the add-host-tool fleet skill.
Reviewed changes
Copilot reviewed 14 out of 14 changed files in this pull request and generated no comments.
Show a summary per file
FileDescription
spec/host-tools.jsonDeclares Ripgrep as required with probe, version pattern, floor, sources, and remedies.
host-setup/linux/install-tools.shAdds Ripgrep to the managed set and implements apt install plus unowned shadow cleanup.
host-setup/windows/install-tools.ps1Registers Ripgrep in the winget-managed tool table (BurntSushi.ripgrep.MSVC).
docs/host-setup.mdDocuments Ripgrep in the host contract table and explains its distro source and purpose.
host-setup/linux/README.mdUpdates Linux host setup docs to include Ripgrep as distro-sourced.
host-setup/windows/README.mdDocuments Ripgrep’s winget package and its rg / rg --files usage.
scripts/tests/test_host_gate.pyUpdates floor/target assertions to include Ripgrep.
scripts/tests/test_bootstrap.pyAdds assertions that Ripgrep uses apt on Linux and the documented winget package on Windows.
AGENTS.mdNotes add-host-tool as the packaged workflow for managed host tool changes.
.github/skills/add-host-tool/SKILL.mdAdds the new skill definition in the GitHub skills distribution.
.agents/skills/add-host-tool/SKILL.mdAdds the new skill definition in the agents skill source tree.
.claude-plugin/fleet-skills/skills/add-host-tool/SKILL.mdAdds the new skill definition to the generated Claude plugin skills set.
.claude-plugin/fleet-skills/.claude-plugin/plugin.jsonIncludes add-host-tool in the plugin’s skills list.
.claude-plugin/fleet-skills/.source-digestUpdates the fleet-skills source digest after adding the skill.
💡 Configure MCP servers for context-aware, tailored reviews. Learn more in the docs.
@ptr727
ptr727
marked this pull request as ready for review
August 18, 2026 01:16
@ptr727
ptr727
merged commit 2d2f63a
into
developAug 18, 2026

8 checks passed

@ptr727
ptr727
deleted the

feature/issue-800-ripgrep

branch
August 18, 2026 01:17
Sign up for freeto join this conversation on GitHub.
Already have an account?
Sign in to comment

Reviewers

Copilot code reviewCopilot
Copilot review effort
Applies to this pull request for everyone.Learn more about Copilot code review.
Copilot left review comments

Assignees


No one assigned


Labels


None yet


Projects


None yet


Milestone


No milestone


Development

Successfully merging this pull request may close these issues.

2 participants

@ptr727