How to Allocate and Deallocate a Device

Users and roles must allocate a device for exclusive use before using it. Allocatable devices include audio, floppy, cdrom, and tape devices. The Device Allocation action handles device allocation and administering device allocation.

To Allocate a Device

1. Click the left mouse button on the triangle above the Style Manager icon on the Front Panel.

   Its Trusted Desktop subpanel includes the Device Allocation icon.

2. Click the Device Allocation icon once.

3. Double-click the device to be allocated from the list of available devices.

   floppy_0 allocates a diskette.

4. Click OK in the label builder that appears.

   The file you load will be labeled at the label of your workspace. For most installation tasks, the files are labeled admin_low.

   ---

   Note -

   Depending on the value of Label View in your /etc/security/label_encodings file, a substitute label name may display for the administrative label admin_low.

   ---

5. Follow the directions in the window that is displayed.

6. If the device can be mounted, answer the question:

   Do you want device_n mounted: (y,n)?

   For most installation tasks, answer y to mount the device:

To Deallocate a Device

1. Go to the workspace where the Device Allocation action is displayed.

   If it is not displayed, click the Device Allocation icon on the Trusted Desktop subpanel, at the same label and in the same role as the one who allocated the device.

2. Double-click the device to be deallocated from the list of allocated devices.

3. Follow the directions in the window that appears.

   A mounted device is automatically unmounted when it is deallocated.

4. To close the Device Allocation window, click the top left button and select Close.