Fix: shark-specific bash config only on shark
Add nora to SSH config