From 7ce8342ac5c0e0a302559d3ef561ffd9dc74ff2c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?R=C3=A9mi=20Verschelde?= Date: Mon, 1 May 2017 17:44:52 +0200 Subject: Rename project file to "project.godot" Slimmed down variant from the reverted #8375. The rationale behind the name change is to give Godot's project file a unique extension (".godot") that can be registered on the OS to be associated with the Godot binary (OS registration not implemented here). This PR also adds the possibility to start the game or editor if launched with the project.godot passed as argument, which paves the way for allowing a similar behaviour on a double-click in the OS file manager (code originally by @Hinsbart). Closes #6915. --- misc/scripts/sort-demos.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'misc') diff --git a/misc/scripts/sort-demos.sh b/misc/scripts/sort-demos.sh index 2121d78c15..5e01b86b46 100644 --- a/misc/scripts/sort-demos.sh +++ b/misc/scripts/sort-demos.sh @@ -1,7 +1,7 @@ #!/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 godot.cfg file in reverse +# 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 @@ -17,7 +17,7 @@ if [ -e demos.list ]; then fi for dir in 2d 3d gui misc viewport; do - find "demos/$dir" -name "godot.cfg" |sort >> demos.list + find "demos/$dir" -name "project.godot" |sort >> demos.list done cat demos.list |sort -r > demos_r.list -- cgit v1.2.3