Come posso impostare la risoluzione dello schermo per un programma specifico?

Sto usando Ubuntu 14.04 e desidero forzare l'esecuzione di un programma specifico a una risoluzione dello schermo predeterminata e riportare lo schermo alla mia risoluzione predefinita dopo aver chiuso il programma. Il programma è l' editor di testo Parentesi e il gestore estensioni non viene mostrato completamente quando eseguo Parentesi a 1024 * 768, come mostrato di seguito nell'immagine.

Viene visualizzato bene a 1280 * 1024 ma è molto scomodo per i miei occhi.

Ecco l' xrandroutput del mio comando:

Screen 0: minimum 8 x 8, current 1024 x 768, maximum 32767 x 32767
VGA1 connected primary 1024x768+0+0 (normal left inverted right x axis y axis) 340mm x 255mm   
   1600x1200      74.8      
   1280x1024      85.0     75.0      
   1024x768       85.0     75.1*    70.1     60.0      
   1024x768i      87.1     
   832x624        74.6      
   800x600        85.1     72.2     75.0     60.3     56.2      
   640x480        85.0     75.0     72.8     66.7     60.0               
   720x400        87.8     70.1   
VIRTUAL1 disconnected (normal left inverted right x axis y axis)

È possibile utilizzare il seguente script Python per avviare l'applicazione a una determinata risoluzione:

#!/usr/bin/env python3

import argparse
import re
import subprocess
import sys

parser = argparse.ArgumentParser()
parser.add_argument('--output', required=True)
parser.add_argument('--resolution', required=True)
parser.add_argument('APP')
args = parser.parse_args()

device_context = ''    # track what device's modes we are looking at
modes = []             # keep track of all the devices and modes discovered
current_modes = []     # remember the user's current settings

# Run xrandr and ask it what devices and modes are supported
xrandrinfo = subprocess.Popen('xrandr -q', shell=True, stdout=subprocess.PIPE)
output = xrandrinfo.communicate()[0].decode().split('\n')

for line in output:
    # luckily the various data from xrandr are separated by whitespace...
    foo = line.split()

    # Check to see if the second word in the line indicates a new context
    #  -- if so, keep track of the context of the device we're seeing
    if len(foo) >= 2:  # throw out any weirdly formatted lines
        if foo[1] == 'disconnected':
            # we have a new context, but it should be ignored
            device_context = ''
        if foo[1] == 'connected':
            # we have a new context that we want to test
            device_context = foo[0]
        elif device_context != '':  # we've previously seen a 'connected' dev
            # mode names seem to always be of the format [horiz]x[vert]
            # (there can be non-mode information inside of a device context!)
            if foo[0].find('x') != -1:
                modes.append((device_context, foo[0]))
            # we also want to remember what the current mode is, which xrandr
            # marks with a '*' character, so we can set things back the way
            # we found them at the end:
            if line.find('*') != -1:
                current_modes.append((device_context, foo[0]))

for mode in modes:
    if args.output == mode[0] and args.resolution == mode[1]:
        cmd = 'xrandr --output ' + mode[0] + ' --mode ' + mode[1]
        subprocess.call(cmd, shell=True)
        break
else:
    print('Unable to set mode ' + args.resolution + ' for output ' + args.output)
    sys.exit(1)

subprocess.call(args.APP, shell=True)

# Put things back the way we found them
for mode in current_modes:
    cmd = 'xrandr --output ' + mode[0] + ' --mode ' + mode[1]
    subprocess.call(cmd, shell=True)

Salvare lo script sopra (ad es. Come my-script.py) e renderlo eseguibile:

chmod +x my-script.py

Per impostare una risoluzione 1280x1024e iniziare geditbasta digitare:

./my_script.py --output VGA1 --resolution 1280x1024 gedit

Per evitare di digitare questo comando ogni volta, salva lo script nella tua home directory e aggiungi le seguenti righe al tuo .bashrc:

alias my_bracket='~/my_script.py --output VGA1 --resolution 1280x1024 gedit'

O ancora meglio, modifica il file desktop in cui è installato il pacchetto /usr/local/share/applications/brackets.desktop.

sudo gedit /usr/local/share/applications/brackets.desktop

E sostituisci il contenuto del file con le nuove righe seguenti:

[Desktop Entry]
Name=Brackets
Type=Application
Categories=Development
Exec=/home/mushir/my_script.py --output VGA1 --resolution=1280x1024 /opt/brackets/brackets
Icon=brackets
MimeType=text/html;
Keywords=Text;Editor;Write;Web;Development;

Fonte: checkbox xrandr_cycle script

Non usando Ubuntu qui (persona Gentoo), ma cerca il pacchetto xrandr. Di solito puoi usare cose come

xrandr --output VGA-1 --mode 640x480

per modificare la risoluzione e

xrandr --output VGA-1 --preferred

ti riporterà alla risoluzione predefinita.

xrandr

senza opzioni ti darà nomi e risoluzioni visualizzati.

Ho appena visto la versione precedente dello script usare anche xrandr :). Ma forse puoi ancora trovare utili le informazioni. Leggi nelle pagine del manuale per modificare le opzioni

man xrandr