diff options
author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2019-10-02 09:46:27 +0200 |
---|---|---|
committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2019-10-02 09:46:27 +0200 |
commit | 10a8b1d380cd5932ce1862a3d3eb156e6d797a9e (patch) | |
tree | f1c92bbeb46cc15cc252d71dc6ec2896cc3b5e2c | |
parent | 09bf1b35c0310617924fc4eaca32d5b91460d492 (diff) |
Remove obsolete `sort_demos.sh` script
The Project Manager now sorts projects by name by default,
making this script redundant.
-rw-r--r-- | misc/scripts/sort-demos.sh | 29 |
1 files changed, 0 insertions, 29 deletions
diff --git a/misc/scripts/sort-demos.sh b/misc/scripts/sort-demos.sh deleted file mode 100644 index 5e01b86b46..0000000000 --- a/misc/scripts/sort-demos.sh +++ /dev/null @@ -1,29 +0,0 @@ -#!/bin/bash -# When scanning for demos, the project manager sorts them based on their -# timestamp, i.e. last modification date. This can make for a pretty -# messy output, so this script 'touches' each project.godot file in reverse -# alphabetical order to ensure a nice listing. -# -# It's good practice to run it once before packaging demos on the build -# server. - -if [ ! -d "demos" ]; then - echo "Run this script from the root directory where 'demos/' is contained." - exit 1 -fi - -if [ -e demos.list ]; then - rm -f demos.list -fi - -for dir in 2d 3d gui misc viewport; do - find "demos/$dir" -name "project.godot" |sort >> demos.list -done -cat demos.list |sort -r > demos_r.list - -while read line; do - touch $line - sleep 0.2 -done < demos_r.list - -#rm -f demos.list demos_r.list |