riiiiight in fact I usually use something else because I'm editing a path with / IIRC this dates back to at least https://en.wikipedia.org/wiki/Ed_(text_editor

riiiiight in fact I usually use something else because I'm editing a path with / IIRC this dates back to at least https://en.wikipedia.org/wiki/Ed_(text_editor) https://en.wikipedia.org/wiki/Ed_(text_editor)