You've already forked godot
mirror of
https://github.com/godotengine/godot.git
synced 2025-11-04 12:00:25 +00:00
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.
This commit is contained in:
@@ -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
|
||||
|
||||
|
||||
Reference in New Issue
Block a user