For my own reference, a couple of ways of setting up the Dvorak keyboard in Linux. In Gnome:
System > Preferences > Keyboard > Layouts tab > Add button > Dvorak
For a single terminal session:
Adding that line to
.bashrc should result in it applying to all your terminal sessions. For all X sessions (including the GDM logon screen and Gnome), add
Option "XbdLayout" "dvorak" to
/etc/X11/xorg.conf as such:
Identifier "Generic Keyboard"
Option "XkbRules" "xorg"
Option "XkbModel" "pc105"
Option “XkbLayout” “dvorak,gb”
This allows switching between the Dvorak and GB layouts by pressing both shift keys at once.