Прегледајте прокси уносе за Subversion домаћина

За уобичајену датотеку ~/.subversion/servers Unix корисника, овај преглед наводи изабране прокси уносе и мапирања група домаћина без штампања сачуваних лозинки:

from configparser import ConfigParser
from pathlib import Path

settings = ConfigParser(interpolation=None)
settings.read(Path.home() / '.subversion' / 'servers')
for key in ('http-proxy-host', 'http-proxy-port',
            'http-proxy-exceptions'):
    print(key, settings.get('global', key, fallback=''))

if settings.has_section('groups'):
    for group, patterns in settings.items('groups'):
        print('group', group, patterns)

Задржите име домаћина репозиторијума уз овај излаз. Скрипта пријављује садржај датотеке, а не путању коју је Subversion на крају изабрао.

Проверите и именовани одељак одговарајуће групе, не само global. Одељак groups мапира имена на обрасце сервера; вредности домаћина и порта одговарајуће групе могу надјачати подразумеване, а изузеци могу заобићи иначе конфигурисан прокси.

Затим узмите у обзир изворе на нивоу система и специфичне за платформу, прилагођени конфигурациони директоријум и надјачавања из командне линије. Питајте датотеке стварног налога или позива, а не почетни директоријум другог корисника.

Прегледач би требало да означи вредности према извору и обиму. Један неквалификовани низ о системском проксију губи и одлуку специфичну за домаћина и разлику између уноса из корисничке датотеке и системске политике.