SuchenErsetzen: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
Keine Bearbeitungszusammenfassung |
(kein Unterschied)
|
Version vom 24. November 2005, 21:59 Uhr
suchen und ersetzen in files
# fgrep -n 8080 server.xml ~65: By default, a non-SSL HTTP/1.1 Connector is established on port 8080. ~89: port="8080" minProcessors="5" maxProcessors="75" # cat server.xml | sed s/8080/80/ > server.xml.new # mv server.xml.new server.xml
Keywords: sed,bash,suchen,ersetzen,datei,files,replace