remote-jobs/bin/rename.sh
James Nylen bdce7e5637 Add missing company profiles; require all companies to have a profile (#413)
* Rename "Tower / fournova" to "fournova"

* Fix some issues in the readme

These could break later steps in automated profile generation.

* Generate "sed" script to fill in missing readme links

To use this:

sed -e "big output line from script" -i README.md

* Fill in missing readme links

Missing profile files have not been generated yet.

* Update script to write missing company profiles

* Add missing company profile files (minimal)

* Update rename script

Now that company profiles may contain their own filename, we need to
update the filename there too.

* Rename a few company profiles

* Remove temporary code to generate minimal profiles
2018-04-24 11:20:07 +01:00

18 lines
374 B
Bash
Executable file

#!/bin/sh
# Only use this script if ALL validation checks are already passing!
old_name="$1"
new_name="$2"
cd "$(dirname "$0")"
cd ..
if [ ! -f "$old_name" ] || [ -f "$new_name" ]; then
echo "Usage: $0 company-profiles/old-filename.md company-profiles/new-filename.md"
exit 1
fi
git mv "$old_name" "$new_name"
sed -i "s#/$old_name#/$new_name#" README.md "$new_name"