30 Nov
2015
30 Nov
'15
10:31 p.m.
I'm sure this is a dumb question but, why couldn't we reboot via sudo shutdown -r?
On Mon, Nov 30, 2015 at 11:31 AM, Bert Freudenberg bert@freudenbergs.de wrote:
Hi Bradley,
our box4.squeak.org became unresponsive. Could you please reboot it?
- Bert -