Queste sono le differenze tra la revisione selezionata e la versione attuale della pagina.
— |
programmazione:python:aggiungere_tag_html [05/01/2022 - 17:23] (versione attuale) Fabio Di Matteo creata |
||
---|---|---|---|
Linea 1: | Linea 1: | ||
+ | ====== Aggiungere un tag html a un file ====== | ||
+ | Autore: **//Fabio Di Matteo//** \\ Ultima revisione: **// 05/01/2022 - 17:20 //** // // | ||
+ | |||
+ | Aggiunge in corrispondenza di **</head>** il codice **<link rel=\"stylesheet\" href=\"style.css\"></link></head>** . | ||
+ | Mi serviva per aggiungere un foglio di stile css al documento generato a partire dal markdown. | ||
+ | |||
+ | Si usa cosi: | ||
+ | <file>make_html.py miofile.html</file> | ||
+ | |||
+ | **make_html.py** | ||
+ | <code python> | ||
+ | #!/usr/bin/env python3 | ||
+ | |||
+ | import sys | ||
+ | |||
+ | |||
+ | page = open(sys.argv[1]) | ||
+ | doc=page.read() | ||
+ | new=doc.replace("</head>","<link rel=\"stylesheet\" href=\"style.css\"></link></head>") | ||
+ | page.close() | ||
+ | |||
+ | newpage = open(sys.argv[1], 'w') | ||
+ | newpage.write(new) | ||
+ | newpage.close() | ||
+ | </code> |
Il nostro wiki installa solamente cookie tecnici necessari al funzionamento della piattaforma "Dokuwiki". Niente analitics, statistiche, tracciamenti o altro.