Benutzer-Werkzeuge

Webseiten-Werkzeuge


linux:bash_tipps

Dies ist eine alte Version des Dokuments!


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 -rInsi bla *
  • -r rekursiv
  • -I nicht in binaries
  • -n Zeilennummern der Fundstellen ausgeben
  • -s keine Fehler ausgeben
  • -i nicht auf Groß-/Kleinschreibung achten

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.1295449198.txt.gz · Zuletzt geändert: 2011/01/19 15:59 von quirxl

Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki