mini changes

.gitignore

@@ -1,3 +1,4 @@
 .build*
 /build*
 /tools/qemu.mk
+/tools/remote.mk

device/ps2controller.cc

@@ -119,7 +119,7 @@ bool fetch(Key &pressed) {
   
   pressed = key_decoder.decode(out_buffer);
   
-  if (pressed.alt() || pressed.ctrl() || pressed.shift || !pressed.valid())
+  if (pressed.alt() || pressed.ctrl() || !pressed.valid())
     return false;
   else
     return true;

tools/remote.mk

@@ -1,7 +1,7 @@
 # Test your system on real hardware
 
 NETBOOT_LOCAL="/ibr/adm/user-boot/"
-NETBOOT_HOST="x1.ibr.cs.tu-bs.de"
+NETBOOT_HOST="y0080589@x1.ibr.cs.tu-bs.de"
 
 # The boot menu shows pairs of `vmlinuz-*` + `initrd-*.img` with owning user and timestamp.
 # We just need to choose a name that doesn't overlap with another user's.