割り当てを解除すると、ほかのユーザーもユーザーの使用後にそのデバイスを割り当てて使用できるようになります。
始める前に
デバイスをすでに割り当てていなければなりません。詳細は、デバイスを割り当てる方法を参照してください。
$ cd $HOME $ umount mount-point
$ deallocate device-name
この例では、ユーザー jdoe がマイク audio の割り当てを解除します。
$ whoami jdoe $ deallocate audio0使用例 15 CD-ROM ドライブの割り当てを解除する
この例では、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.