• @rufus
      link
      English
      72 years ago

      Type: !1234 … to run whatever history number of the command.