The correct answer is: A. dev.set
The dev.set command is used to change the active graphic device. It takes two arguments: the name of the new device and the name of the old device. For example, to change the active graphic device to “/dev/vga”, you would use the following command:
dev.set /dev/vga /dev/fb0
The dev.int command is used to get or set the integer value of a variable. It takes two arguments: the name of the variable and the value to set it to. For example, to get the value of the “x” variable, you would use the following command:
dev.int x
The dev.win command is used to get or set the window handle of a window. It takes two arguments: the name of the window and the handle to set it to. For example, to get the handle of the “foo” window, you would use the following command:
dev.win foo
All of the mentioned commands are used to change the active graphic device, but only the dev.set command is specifically used to change the active graphic device.