Linuxでは、「/run/media/$USER/」の代わりに「/mnt/」にマウントできますか?

Linuxでは、「/run/media/$USER/」の代わりに「/mnt/」にマウントできますか?

1人専用のシステムですが、インストールパスを「/mnt」に変更できますか?


編集してください。これはudisks2を使用しているようです。

答え1

ファイルシステム階層標準では:

「このディレクトリは次の目的で提供されます。システム管理者必要に応じてファイルシステムを一時的にマウントできます。このディレクトリの内容はローカルの問題なので、プログラムの実行方法に影響を与えてはいけません。

このディレクトリ必然ではないインストーラで使用:システムで使用されていない適切な一時ディレクトリを使用する必要があります。 」

http://www.pathname.com/fhs/2.2/fhs-3.11.html

一時ディレクトリは /run/media/ です。

答え2

自動マウントされたフォルダを/ mntフォルダにバインドマウントできます。たとえば、次のようになります。

sudo sh -c "for dir in $(ls /media/$USER | grep -v floppy); do mkdir -p /mnt/$dir; mount --bind /media/$USER/$dir /mnt/$dir; done"

またはシンボリックリンクを作成します。

ln -s /media/$USER/drivelabel /mnt/drivelabel

関連情報