Benutzer-Werkzeuge

Webseiten-Werkzeuge


bash

Dies ist eine alte Version des Dokuments!


Bash

Erweiterung von Dateiname entfernen

# name without extension
name=${filename%\.*}

Verzeichnis, aus dem Script gestartet wurde

DIR="$( cd "$( dirname "$0" )" && pwd )"
bash.1318232969.txt.gz · Zuletzt geändert: 2011/10/10 09:49 von 130.75.57.116