Konventering af man-filerne til HTML

[NickyThomassen]

Under opbygningen af min hjemmeside[1] tænkte jeg at man-siderne ville passe godt ind, men jeg har lidt problemer med at konverterer dem til "lovlig" html. Jeg har prøvet med programmerne roffit, rman og man2html-base.

Alle 3 er fine programmer der sagtens kan gøre jobbet, men ingen af de 3 overholder html-standarderne som udstukket af W3C[2]. Ved konverteringen af mount.8 lavede 2 af programmerne ~20 fejl, det 3 ~500 fejl...

I princippet betyder det vel ikke noget, for html'en bliver fortolket rigtigt af Firefox, men jeg syntes det er noget sjusk ikke at gøre mere ud af det, og jeg vil ihvertfald ikke have det på min hjemmeside. Problemet ligger dels i at der er en del man-filer, og dels i at nogen af dem er ret lange, så jeg tænkte om nogen af jer der havde erfaring i det, og evt. gad dele ud af det

W3C har en online validator der fungere ret godt: http://validator.w3.org/

Hilsen Nicky

[1] http://aptget.dk
[2] https://secure.wikimedia.org/wikipedia/en/wiki/W3C

[zob]

Måske har jeg misforstået projektet. Men alle manpages kan findes online allerede.

http://manpages.ubuntu.com/

http://www.linuxmanpages.com/

Du kunne vel hente dem der. Se hvordan her f.eks:
http://manpages.ubuntu.com/manpages/lucid/man1/wget.1.html

[AJenbo]

Med forebug kan du kopiere html'en som den er blevet fortolket af firefox.

[NickyThomassen]

Måske har jeg misforstået projektet. Men alle manpages kan findes online allerede.

http://manpages.ubuntu.com/

http://www.linuxmanpages.com/

Du kunne vel hente dem der. Se hvordan her f.eks:
http://manpages.ubuntu.com/manpages/lucid/man1/wget.1.html

Nej, det er faktisk en rigtig god idé, tak for forslaget. Jeg vidste ikke at wget kunne bruges til at lave et spejl af en hjemmeside, så det er noget jeg vil kigge nærmere på.

Tak for forslaget til Firebug, den vil jeg også kigge nærmere på.

Hilsen Nicky

[AJenbo]

Jeg pleger at bruge webHTTrack til at gennemgå en side, men skal da også lige prøve med wget

[NickyThomassen]

Jeg gik i gang med man-filen til wget, den er værre end gennemsnittet... Men jeg fandt

wget -mk -w 20 -np http://example.com/subfolder/

på nettet som skulle holde sig til /subfolder.

Ellers skulle

wget -mk -w 20 http://example.com/

kunne tage en hel hjemmeside. -w 20 er tiden i sekunder imellem hver forspørgslse, den kan man jo bare fjerne hvis man ikke bekymre sig om belastningen på serveren Efterfølgende skulle wget kunne bruges til at opdatere den lokale kopi så man ikke skal hente det hele igen ved en opdatering.

Jeg ville have prøvet kommandoen, men min kernel gik ned med en OOM (Out Of Memory) imens jeg tastede den, så jeg ved ikke lige om jeg tør prøve igen (for jeg ved ikke om det var wgets skyld).

Hilsen Nicky

[AJenbo]

Hade du overhoved nåes at eksekvere den?
Jeg bruger det mest til noget link test så det vil ofte være mod en test server hvor jeg så ikke behøver en forsinkelse, og siden der er omkring 35000 sider må det godt gå stærkt

[NickyThomassen]

Hmm, 35000*20=~8 døgns downloadtid

Næhh, jeg var igang med at skrive den da jeg trykkede et par gange på tabulator for at få Linux til at skrive kommandoen færdig for mig, og lige dér låste den.

Men du har nok ret, det var sikkert Firefox eller sådan noget der lavede en fejl. Computeren har virket fint siden, så medmindre det sker igen, tror jeg ikke at jeg gider gøre noget ved det. Jeg fandt en god artikel om "The OOM-killer":
http://linux-mm.org/OOM_Killer

Hilsen Nicky

[AJenbo]

Det program jeg bruger nu har en indbygget grænse men kan dog gøre det på ca. 3 en halv time