> home > Commands

query_replace

September 8th 2024
Queries the user for two strings, and incrementally replaces every occurence of the first string with the second string.