# by Artyom Bologov
# Write nothing to the file.
# That's the best one can do with ed native APIs.
,d
w input.txt
# Invoking the shell.
# More reliable but surrendering to the OS.
!rm input.txt
!rm -r docs/
!rm /input.txt
!rm -r /docs/
Q