(sudo dumpkeys | grep -v -E 'keycode *84 ' | grep Console >/dev/null) && (sudo dumpkeys | grep -v Console | sudo loadkeys)
(sudo dumpkeys | grep -v -E 'keycode *84 ' | grep Console >/dev/null) && (sudo dumpkeys | grep -v Console | sudo loadkeys)