close: bash tool editing guidance

This commit is contained in:
Keisuke Hirata 2026-06-01 07:36:41 +09:00
parent cff858ec23
commit ccddab6425
No known key found for this signature in database
5 changed files with 19 additions and 9 deletions

View File

@ -2,12 +2,12 @@
id: 20260527-000021-bash-tool-editing-guidance
slug: bash-tool-editing-guidance
title: Bashツールがファイル編集に常用されている問題をdesciptionで抑制
status: open
status: closed
kind: task
priority: P2
labels: [migrated]
created_at: 2026-05-27T00:00:21Z
updated_at: 2026-05-27T00:00:21Z
updated_at: 2026-05-31T22:36:34Z
assignee: null
legacy_ticket: null
---

View File

@ -0,0 +1 @@
Closed without implementation for now. Current Bash tool description already nudges agents toward Read/Edit/Glob/Grep over shell-based file edits, and this is not urgent enough to carry as an active work item. If the behavior becomes a recurring problem, reopen as a focused prompt-description polish ticket covering Bash child processes such as cat/tee/sed/perl/python rewrites.

View File

@ -0,0 +1,16 @@
<!-- event: migration author: tickets.sh-migration at: 2026-05-27T00:00:21Z -->
## Migrated
Migrated from TODO.md entry without a legacy ticket file. No legacy review file was present at migration time.
---
<!-- event: close author: hare at: 2026-05-31T22:36:34Z status: closed -->
## Closed
Closed without implementation for now. Current Bash tool description already nudges agents toward Read/Edit/Glob/Grep over shell-based file edits, and this is not urgent enough to carry as an active work item. If the behavior becomes a recurring problem, reopen as a focused prompt-description polish ticket covering Bash child processes such as cat/tee/sed/perl/python rewrites.
---

View File

@ -1,7 +0,0 @@
<!-- event: migration author: tickets.sh-migration at: 2026-05-27T00:00:21Z -->
## Migrated
Migrated from TODO.md entry without a legacy ticket file. No legacy review file was present at migration time.
---