linux:bash_tipps
Dies ist eine alte Version des Dokuments!
Inhaltsverzeichnis
Tipps für die bash und andere Konsolen
Dateien etc finden
In Dateien Suchen
grep -r bla * 2>/dev/null
Sucht in allen (*) Dateien im aktuellen Ordner und in allen Unterordnern (-r) nach der Zeichenfolge bla und gibt bei möglichen Fehlern nichts aus, also stderr wird in /dev/null umgeleitet (2>/dev/null).
Besser:
grep -rIns bla *
- -r rekursiv
- -I nicht in binaries
- -n Zeilennummern der Fundstellen ausgeben
- -s keine Fehler ausgeben
Dateien bzw Ordner zählen
find /verzeichnis -type f | wc -l find /verzeichnis -type d | wc -l
http://www.bimminger.at/content/beitrag/work_tipp_linux_datei_anzahl.html
SCP
Den Ordner (rekursiv!) bla oder die Datei bla vom Server bla.de (port 444) holen.
scp -r -P444 user@bla.de:~/pfad/bla .
PDFs zusammenfügen
Ghostscript
gs -q -dNOPAUSE -dBATCH -sDEVICE=pdfwrite -sOutputFile=out.pdf *.pdf
oder PDFtk
pdftk *.pdf cat output out.pdf
PDFs zerpflücken
wie oben mit PDFtk
pdftk in.pdf cat 3-6 output out.pdf pdftk in.pdf cat 2 4 5 output out.pdf
usw…
ps2pdf -> Ausgabebreite, -höhe
ps2pdf -dDEVICEWIDTHPOINTS=270 -dDEVICEHEIGHTPOINTS=349 rein.ps raus.pdf
diff - Dateien Vergleichen
diff local.php ../../wiki-neu/conf/local.php_quirxl --side-by-side --suppress-common-lines diff local.php ../../wiki-neu/conf/local.php_quirxl --side-by-side | less
USB Stick formatieren
mkfs.vfat /dev/sdc -I -n verbatim
linux/bash_tipps.1293562118.txt.gz · Zuletzt geändert: 2010/12/28 19:48 von quirxl