peterdrake , 4 days ago @pluralistic % ed balls balls: No such file or directory q % touch balls % ed balls 0 q % rm balls (I had to do a web search to figure out how to quit The Standard Editor, and my first attempt ("how to quit ed") did not return what I was expecting.)
@pluralistic % ed balls balls: No such file or directory q % touch balls % ed balls 0 q % rm balls
(I had to do a web search to figure out how to quit The Standard Editor, and my first attempt ("how to quit ed") did not return what I was expecting.)
pluralistic