Chapter 03

文字列の置換

zetamatta
zetamatta
2020.10.19に更新

bash だと

$ FOO=abcdef
$ echo ${FOO/cd/12}
ab12ef

という置換が使えますが、CMD.exe でも似たようなことが出来ます。

$ set FOO=abcdef
$ echo %FOO:cd=12%
ab12ef

詳しい仕様は SET /? で確認できます(あっさり)