Textdatei anpassen

[Baumeister]

Hallo,
ich habe eine Textdatei "vorhersage.txt", die ich regelmäßig aus dem Netz herunterlade, per iframe in meine Webseite eingefügt.
Ich habe es zuvor mit php versucht, dort wird aber nicht die Formatierung übernommen, Der Text einfach ohne Absatz hintereinander angezeigt.
Nun möchte ich das Schriftbild (Font, Größe) anpassen.
Welche Befehle muss ich wo einfügen ?
Danke für die Hilfe.
Axel

 

[sysop]

Entweder machst du eine HTML-Datei aus dem Text oder du leistest dir den Aufwand z.B. tinymce oder einen ähnlichen Editor zu implementieren und kannst das dann ganz einfach online machen.

Da Textdateien (Endung .txt) normalerweise eigenständig angezeigt und nicht interpretiert werden, wirst du wohl mit .txt nicht glücklich werden.

 

[Baumeister]

Okay, die Endung von .txt in .html zu ändern ist einfach. Das muss aber automatisch passieren.
Ich lade die Textdatei zweimal täglich von Wetterdienst-Server herunter und schicke sie dann automatisch per ftp-programm auf meinen Server.
Geht das ?

 

[Wustersoss]

Wenn du die Datei auf deinem Server als Textdatei vorliegen hast, kannst du die Datei natürlich einfach in php oder html umbenennen. Da wir nicht wissen wie die Datei aussieht kann man dazu auch nicht viel mehr sagen.

 

[Space Vampire]

Um es mit PHP zu machen, statt dem Iframe, und trotzdem die Umbrüche zu bekommen, versuch mal folgendes.

UNGETESTET:

// liest den Inhalt deiner txt in einen String und wandelt nl (new line) in (2) br (break row <br /> )
$txt = nl2br(file_get_contents("deine/datei.txt")); 

//gibt den String mit zeilenumbrüchen aus
echo $txt;

 

[sysop]

Naja, es war von Font und Grösse die Rede. Sinn einer Textdatei ist es ja, NICHT interpretiert zu werden, es sei denn man included und parsed.

 

[Space Vampire]

...es war von Font und Grösse die Rede...

Dann umgibt man das Ganze halt noch mit einem <p> und formatiert dieses.
Funktioniert prima.

echo "<p class='eine_class'>";
$txt = nl2br(file_get_contents("deine/datei.txt")); 
echo $txt;
echo "</p>"