What are you trying to do?

Manually change DNS in Brickman UI for tethering

What did you expect to happen?

DNS setup works

What actually happened?

Brickman UI freeze once I clicked enter

What hardware and software are you using (including version numbers)?

System info (from ev3dev-sysinfo)

Image file:         ev3dev-jessie-ev3-generic-2017-09-14
Kernel version:     4.4.87-22-ev3dev-ev3
Board:              LEGO MINDSTORMS EV3 Programmable Brick
Revision:           0006
Brickman:           0.8.1
ev3devKit:          0.4.3

Workarounds

I manually add DNS by modifying /etc/resolve.conf