3 ms·

You mean that isn't how to exit 'ed'?

• mcguire 11y ago
  Technically, the official method of exiting ed, if you're running as root, is: $ed a_file ... (normal usage) r /etc/motd w /boot/vmlinuz-3.19.0-16-generic (replace with specific kernel) !reboot The alternative of "w /dev/sda1" is also acceptable.
  • mcguire 11y ago
    Note to those objecting to '$': I have PS1 set to '$' on every account. It just saves confusion.
    • iso8859-1 11y ago
      Don't you think it is prettier with the space?
      • mcguire 11y ago
        Nah, just adds clutter. [Fixed in the great-grandparent.]