6 999
contributi
Wiki script - Dump sorgenti delle guide (Python 3): differenze tra le versioni
Wiki script - Dump sorgenti delle guide (Python 3) (visualizza wikitesto)
Versione delle 16:26, 13 lug 2019
, 13 lug 2019verificata per buster e inferiori
S3v (discussione | contributi) mNessun oggetto della modifica |
S3v (discussione | contributi) (verificata per buster e inferiori) |
||
| Riga 1: | Riga 1: | ||
{{Versioni compatibili|Jessie| | {{Versioni compatibili|Jessie|Stretch|Buster}} | ||
Questo semplice [[script]] Python 3 si occupa di effettuare il download dei sorgenti delle guide di questo Wiki.<br/> | Questo semplice [[script]] Python 3 si occupa di effettuare il download dei sorgenti delle guide di questo Wiki.<br/> | ||
| Riga 12: | Riga 12: | ||
<pre> | <pre> | ||
#!/usr/bin/python3 | #!/usr/bin/python3 | ||
# -*- coding: utf8 -*- | |||
import urllib.parse | import urllib.parse | ||
| Riga 170: | Riga 171: | ||
# parsing di caratteri non consentiti in URL (i.e. il carattere "+") | # parsing di caratteri non consentiti in URL (i.e. il carattere "+") | ||
name_parsed = urllib.parse.quote(v[0]) | name_parsed = urllib.parse.quote(v[0]) | ||
print("Script terminato") | url = ''.join(('guide.debianizzati.org/index.php?title=', name_parsed, '&action=edit')) | ||
f.write('\n'.join(('þþþþ', url, v[1], 'øøøø', ''))) | |||
print("Script terminato") | |||
</pre> | </pre> | ||