# Use another device as a second display for a GNU/Linux