diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-05-01 17:44:52 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2017-05-01 17:50:19 +0200 |
| commit | 7ce8342ac5c0e0a302559d3ef561ffd9dc74ff2c (patch) | |
| tree | 7548791d163e1468ba9794b6ab3eee427f891e1a /misc | |
| parent | de7eba887e9fe940dac0958836fa8fb778628d2a (diff) | |
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.
Diffstat (limited to 'misc')
| -rw-r--r-- | misc/scripts/sort-demos.sh | 4 |
1 files changed, 2 insertions, 2 deletions
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 |