Derrick Stolee 90e8c1bd69 [REPLACE] Replace old name in all files ... This will change many files, and likely not build Here is the script used to do the replacement: ``` NEWNAME="Scalar" LOWERNAME="scalar" for file in $(find . -type f -name '*') do if [[ $file == *.png ]] then continue fi if [[ $file == *.ico ]] then continue fi if [[ $file == *cddl1.txt ]] then continue fi if [[ $file == *.rc ]] then continue fi if [[ $file == *index_v4 ]] then continue fi if [[ $file == ./.git/* ]] then continue fi sed -i .bak "s/GVFS/$NEWNAME/g" "$file" sed -i .bak "s/VFS For Git/$NEWNAME/g" "$file" sed -i .bak "s/VFS for Git/$NEWNAME/g" "$file" sed -i .bak "s/VFSForGit/$NEWNAME/g" "$file" sed -i .bak "s/vfsforgit/$LOWERNAME/g" "$file" sed -i .bak "s/VFS/$NEWNAME/g" "$file" sed -i .bak "s/gvfs/$LOWERNAME/g" "$file" done git commit -a -s -m "[REPLACE] Replace old name in all files" -m "This will change many files, and likely not build" git clean -xdf ``` Signed-off-by: Derrick Stolee <dstolee@microsoft.com>		2019-08-10 12:41:55 -04:00
..
CertificateVerifier.cs	[REPLACE] Replace old name in all files	2019-08-10 12:41:55 -04:00
SystemCertificateStore.cs	[REPLACE] Replace old name in all files	2019-08-10 12:41:55 -04:00