home/.emacs.d/init.el: forgot to put in (agda-input-setup)
root/etc/ppp/ip-up.d/01-routes.sh: new
home/.xinitrc: add support for GNOME