2016-07-26 17:19:02 +00:00
|
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
|
|
|
|
|
|
2016-07-27 06:11:17 +00:00
|
|
|
|
for analysis in analyses/*A_*
|
2016-07-26 17:19:02 +00:00
|
|
|
|
do
|
2016-07-27 06:11:17 +00:00
|
|
|
|
if [[ $analysis == "analyses/*A_*" ]]; then continue; fi
|
|
|
|
|
echo Restoring unicode characters to $analysis.
|
2016-07-26 21:27:16 +00:00
|
|
|
|
new_name=$(basename $analysis|
|
2016-07-27 06:11:17 +00:00
|
|
|
|
#sed 's|_\([0-9]\+\)|\(𝛌=\1|g'|
|
|
|
|
|
sed 's|_|≺|'|
|
|
|
|
|
sed 's|_|{|'|
|
|
|
|
|
sed 's|_|;|'|
|
|
|
|
|
#sed 's|_|}|'|
|
|
|
|
|
sed 's|A|Å|'|
|
|
|
|
|
sed 's|A|Å_|'|
|
|
|
|
|
sed 's|≺|_≺_|'|
|
2016-07-26 21:27:16 +00:00
|
|
|
|
sed 's|Δt|Δt=|'|
|
2016-07-27 06:11:17 +00:00
|
|
|
|
sed 's|err|σ∊|')}
|
2016-07-26 21:27:16 +00:00
|
|
|
|
mv $analysis analyses/$new_name
|
2016-07-26 17:21:25 +00:00
|
|
|
|
done
|