Re: 'reboot' command no longer works

Reply: Graham Perrin : "reboot -r (was: 'reboot' command no longer works)"
In reply to: void : "Re: 'reboot' command no longer works"
Go to: [ bottom of page ] [ top of archives ] [ this month ]

From: void <void_at_f-m.fm>
Date: Mon, 17 Aug 2026 18:55:55 UTC

On Mon, Aug 17, 2026 at 07:46:43PM +0100, void wrote:
>On Mon, Aug 17, 2026 at 07:11:59PM +0100, Graham Perrin wrote:
>>Sorry, ignore my previous email, it was for reboot -r (not reboot).
>>
>
>I think it's still relevant, so I'll make a PR about it.

Just tested it after making a new world.

n287677-5c1461a2b0fd has the problem
It appears fixed in main-n288376-62d5d119ee7d
--