Где GNOME 3 хранит ориентацию панели?

Плохо. Чтобы настроить среду для использования java / maven / etc, я использую серию скриптов в ~ / bin, например ~ / bin / env-maven; головами которых были:

#!/bin/bash
set -e

Чтобы использовать сценарий, я источник как:

. ~/bin/env-maven

Которая затем сообщает bash немедленно выйти, если встречается ненулевой код выхода из конвейера (т.е. команды), и в моем случае выполняется запуск mvn без pom.xml.