1676da83a0
Changes: - Replace grep with awk to handle timestamp lines - Remove matching commands AND their preceding timestamp lines - Properly handle history format: #timestamp followed by command Issue: - Systems with HISTTIMEFORMAT set store timestamps as #<unix_time> - Simple grep only removed command lines, left orphaned timestamps - User's history showed toolkit commands still present (lines 990-1030) Solution: - awk script that tracks timestamp lines - Only prints timestamp if following command is kept - Removes both timestamp and command together atomically Tested: ✓ Removes 16 lines (8 commands + 8 timestamps) from 32-line test ✓ Preserves normal commands with their timestamps ✓ No toolkit patterns found after cleaning