index.html
, bzw. index.php
: Existiert so eine Datei im Verzeichnis, wird anstatt des Listings aller Dateien diese ausgeliefert..htaccess
. Regelt Einstellungen des Webservers für das entsprechende Verzeichnis, z.B. Zugriff nur aus den Kanti-Netzen.
Nur mit scp
oder sftp
. Entweder via Kommandozeile oder mit Hilfe von FileZilla.
# Lokal zum Server: (im KSBG-wild muss der Port 23 anstatt 40199 verwendet werden). scp -P 40199 datei.html hansli@tech-lab.ch:verzeichnis/. # Vom Server zu lokal (das aktuelle Verzeichnis ist der Punkt .) scp -P 40199 hansli@tech-lab.ch:verzeichnis/datei.html .
index.html
umbenennen, damit diese direkt geladen wird.ssh -p 40199 hansli@tech-lab.ch
Generelle Bemerkungen:
“
zu schreiben.-
. Manchmal auch –
für ausgeschriebene Optionen.|
Umleitung in nächstes Programm>
Umleitung in Datei (überschreiben), »
Umleitung in Datei (anhängen)<
lesen aus Datei (anstatt STDIN)*
steht für eine Folge aus beliebigen Zeichen (auch keine)?
seht für genau ein beliebiges Zeichen[a-z]
steht für genau einen Kleinbuchstaben a-z{txt,TXT}
steht für txt oder TXT (z.B. *.{txt,TXT} bedeutet alle Dateien, die mit .txt oder .TXT enden).img{08..12}.jpg
steht für img08.jpg img09.jpg img10.jpg img11.jpg img12.jpg
.
, der übergeordnete Ordner ist ..
.~
abgekürzt werden.ls
Dateien anzeigenls -l
Mehr Infosls -a
Alle Dateien (auch solche, die mit .
beginnen).ls -lh
human readable filesizesls -ltrh
Sortierung nach Datum, neueste zuletzt.ls -lSrh
Sortierung nach Grösse, grösste zuletzt.pwd
Print working directory (aktuelles Verzeichns anzeigen)cd ordner
Verzeichnis wechselncd ..
ins übergeordnete Verzeichnis wechseln.cd
ins Homeverzeichnis wechseln.cp source dest
, wobei source
mehrere Dateien sein können, dann muss aber dest
ein Verzeichnis sein.mv source dest
, umbenennen, bzw. verschieben wenn dest
ein Ordner ist. source
können mehrere Dateien seinmmv
mehrere Dateien auf einmal umbenennen, nicht standardrm datei
, Datei(en) unwiderruflich löschenmkdir ordner
Ordner anlegenrmdir ordner
leeren Ordner löschenrm -r ordner
Ordner mit allem Inhalt unwiderruflich löschenchmod [ugo]{+,-}[rwx] datei
Berechtigung auf Datei ändern: u
ser, g
roup, o
ther, r
ead, w
rite, e
xecute.Die erste Ziffer $d$ von Dateigrössen ist nicht gleichverteilt, sondern ungefähr $P(d) = \log_{10}\left(1+\frac{1}{d}\right)$
Untersuchen Sie diesen Zusammenhang mit allen Dateien unterhalb /usr auf dem Server (oder auf Ihrem Computer, wenn folgende Tools verfügbar sind).
Lesen Sie dazu die Dokumentation zu den folgenden Kommandos und deren Optionen (entweder online oder mit man kommando
)
find
mit -type
und -printf
cut
mit -c
sort
uniq
mit -c
Erstellen Sie einen entsprechenden Graphen in einer Tabellenkalkulation oder gleich mit gnuplot
find /usr -type f -printf "%s\n" | cut -c 1 | sort | uniq -c
Mit Gnuplot (der Skalierungsfaktor 190000 ist Handgelenk mal $\pi$):
find /usr -type f -printf "%s\n" | cut -c 1 | grep -v 0 | sort | uniq -c | gnuplot -e "set terminal dumb $COLUMNS $LINES; plot '-' using 2:1 with lines, 190000*log(1+1/x)"
Im und unterhalb des Verzeichnisses /srv/www/ofi/2022/EF05a werden Dateien gesucht, die in .html enden und in den letzten 30 Tagen erstellt wurden:
cd /srv/www/ofi/2022/EF05a find . -name \*.html -ctime -30
Es gibt noch backup-Dateien der index.html Datei. Diese werden noch herausgefiltert:
find . -name \*.html -ctime -30 | grep -v back
Jetzt müssen wir die Dateinamen noch in Links verpacken. Die kann z.B. in einem schlauen Text-Editor erfolgen oder ebenfalls auf der Kommandozeile:
for a in `find . -name \*.html -ctime -30 | grep -v back`;do echo "<a href='$a'>$a</a><br>"; done
Schlussendlich leiten wir die Ausgabe in eine Datei um (wofür Sie nicht die Berechtigung haben):
for a in `find . -name \*.html -ctime -30 | grep -v back`;do echo "<a href='$a'>$a</a><br>"; done > projects.html