Bash - thay thế gạch chéo

Question

cho phép giả sử tôi có biến số

DATE="04/Jun/2014:15:54:26".

Tôi cần thay thế / bằng \/ để nhận được chuỗi "04\/Jun\/2014:15:54:26".

tôi đã cố gắng tr lệnh - echo "04\Jun\2014:15:54:26" | tr '\' '\\/'

với kết quả "04\Jun\2014:15:54:26".

Nó không thỏa mãn tôi. Có ai giúp được không ?

Answer 1

Sử dụng SED cho thay:

sed 's#/#\\/#g' <filename.txt> newfilename.txt 

Bạn thường sử dụng "/" thay vì "#" nhưng miễn là nó ở đó nó không quan trọng.

Tôi đang viết điều này trên một cửa sổ PC vì vậy tôi hy vọng nó là đúng, bạn có thể phải thoát khỏi các dấu gạch chéo với một dấu gạch chéo.

Sed giải thích, "-e", cho phép bạn chỉnh sửa tệp tại chỗ. Bạn có thể sử dụng -i để tạo sao lưu tự động.

sed -e s/STRING_TO_REPLACE/STRING_TO_REPLACE_IT/g index.html 

Answer 2

đây bạn đi:

kent$ echo "04/Jun/2014:15:54:26"|sed 's#/#\\/#g' 
04\/Jun\/2014:15:54:26 

dòng tr của bạn là không đúng, bạn có thể mis-hiểu những gì tr làm, tr 'abc' 'xyz' sẽ thay đổi a->x, b->y, c->z, không thay đổi toàn bộ abc->xyz ..

Answer 3

Không cần sử dụng echo + a pipe + sed.

Một biến thay thế đơn giản là đủ và nhanh hơn:

echo ${DATE//\//\\/} 

#> 04\/Jun\/2014:15:54:26