@katex
Try it with hostname

@dittoslash @katex ...tbh, there is a standard way to do *that*, but I'm guessing 99% of things on the console just won't handle it (punycode IDNs).

@bhtooefr
lol I was struggling earlier to edit emojis into a html doc over SSH I'm not up for doing anything more complex than that lmao
@katex

@bhtooefr @dittoslash behavior seems very inconsistent! the host program decodes IDN when printing output but doesn't accept emoji as an argument

@bhtooefr @dittoslash most random network programs seem to reject emoji hostname arguments, some will use it as a binary argument (without IDN encoding)

@bhtooefr @dittoslash wget accepts emoji tho

@dittoslash had to use sysctl. next step: dhcp lease??

@katex
oh no

@katex I wonder what happens if your kernel's filename has emoji in it, as far as booting it with GRUB.