目标：
使用Android Studio随附的（图形）AVD管理器管理Android虚拟设备（avd），但使用其他存储文件夹。
默认文件夹：/home/user1/.android/avd/
所需文件夹：/mnt/data/some/more/path/.android/avd
根据the docs，这应该有效：
（加载到.bashrc中）
export ANDROID_SDK_HOME='/mnt/data/some/more/path'
export ANDROID_EMULATOR_HOME="${ANDROID_SDK_HOME}/.android"
export ANDROID_AVD_HOME="${ANDROID_EMULATOR_HOME}/avd"
export ANDROID_SDK_ROOT='/mnt/data/some/more/path/Sdk'
export PATH="${PATH}:${ANDROID_SDK_ROOT}/emulator"
export PATH="${PATH}:${ANDROID_SDK_ROOT}/tools"
export PATH="${PATH}:${ANDROID_SDK_ROOT}/tools/bin"
export PATH="${PATH}:${ANDROID_SDK_ROOT}/platform-tools"
这确实在命令行上有效：
$ emulator -list-avds
Nexus_5X_API_29_x86
Pixel_2_API_28
并运行emulator -avd Pixel_2_API_28也可以。
但是，AVD管理器没有显示任何设备，并且当我使用唯一可见的按钮+ Create Virtual Device...时，将在默认文件夹（/home/user1/.android/avd）中创建新设备。
值得一提的（但我不知道是否相关）：在设置>工具>终端>然后查看环境变量列表，我找不到例如。 $ ANDROID_SDK_HOME在“包括系统环境变量”下。 但另一方面，在Android Studio中打开终端时，它们可用。
我是在做错什么还是这是一个错误（我应该和睦相处）吗？
谢谢
环境：
Linux Mint 19.3肉桂
Android Studio 3.6.3