bash: Show ssh-agents/keys.
bash: Fix GTK3 scrolling. Export makepkg settings. Export OPAM settings.