come si fa a installare un widget su debian?