デバイスの割り当てを解除する方法

割り当てを解除すると、ほかのユーザーもユーザーの使用後にそのデバイスを割り当てて使用できるようになります。

始める前に

デバイスをすでに割り当てていなければなりません。詳細は、デバイスを割り当てる方法を参照してください。

1. デバイスがマウントされている場合は、デバイスのマウントを解除します。

   $ cd $HOME
   $ umount mount-point

2. デバイスの割り当てを解除します。

   $ deallocate device-name

この例では、ユーザー jdoe がマイク audio の割り当てを解除します。

% whoami
jdoe
% deallocate audio0

この例では、Device Allocator 役割が CD-ROM ドライブの割り当てを解除します。次のメッセージが表示されたあとで、CD-ROM が取り出されます。

$ whoami
devicealloc
$ cd /home/devicealloc
$ umount /home/devicealloc/mymnt
$ ls /home/devicealloc/mymnt
$
$ deallocate sr0
/dev/sr0:      326o
/dev/rsr0:     326o
…
sr_clean: Media in sr0 is ready.  Please, label and store safely.