summaryrefslogtreecommitdiffstats
path: root/misc/scripts
Commit message (Collapse)AuthorAgeFilesLines
* Update copyright statements to 2020Rémi Verschelde2020-01-011-2/+2
| | | | | | | | | | | Happy new year to the wonderful Godot community! We're starting a new decade with a well-established, non-profit, free and open source game engine, and tons of further improvements in the pipeline from hundreds of contributors. Godot will keep getting better, and we're looking forward to all the games that the community will keep developing and releasing with it.
* Remove unused scripts from the `misc/scripts` directoryHugo Locurcio2019-12-177-422/+3
| | | | This also makes `make_icons.sh` executable directly.
* Remove obsolete `sort_demos.sh` scriptHugo Locurcio2019-10-021-29/+0
| | | | | The Project Manager now sorts projects by name by default, making this script redundant.
* Fix copyright headers and style issuesRémi Verschelde2019-09-241-2/+2
|
* Add script to fix style issues and copyright headersRémi Verschelde2019-06-171-0/+60
| | | | | This is only meant to check the validity of the whole codebase every now and then, or to apply clang-format config changes when relevant.
* Add missing license headersRémi Verschelde2019-06-111-4/+4
| | | | Make `fix_headers.py` script compatible with Python 3.
* Update copyright statements to 2019Rémi Verschelde2019-01-011-2/+2
| | | | Happy new year to the wonderful Godot community!
* Fix missing/malformed license headersRémi Verschelde2019-01-011-0/+0
|
* Dist: update script to make Steam icon setsRémi Verschelde2018-06-031-5/+24
|
* Properly closing all files in Python codeViktor Ferenczi2018-03-112-6/+11
|
* Improve script to add/fix copyright headersRémi Verschelde2018-01-051-17/+46
| | | | | | - The header now always ends with exactly one empty line - Comments after the header are no longer removed - Improved readability with clearer file names and comments
* Update copyright statements to 2018Rémi Verschelde2018-01-011-2/+2
| | | | Happy new year to the wonderful Godot community!
* removed misc/scripts/svgs_2_pngs.pytoger52017-08-301-139/+0
| | | | - deprecated because icon conversion now happens in godot itself
* Use HTTPS URL for Godot's website in the headersRémi Verschelde2017-08-271-1/+1
|
* Makes all Godot API's methods Lower CaseIndah Sylvia2017-08-071-6/+6
|
* Added some missing icons, fixed some ui iconsDaniel J. Ramirez2017-07-121-2/+4
|
* Revert "Add new editor and default theme (WIP)"volzhs2017-05-031-6/+6
| | | | This reverts commit f045efe007cffb87238ee519b7f33d710814ded7.
* Rename project file to "project.godot"Rémi Verschelde2017-05-011-2/+2
| | | | | | | | | | | | | | 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.
* Add new editor and default theme (WIP)Daniel J. Ramirez2017-04-271-6/+6
|
* Add "Godot Engine contributors" copyright lineRémi Verschelde2017-04-081-0/+1
|
* Reorder the folders in tools to prepare moving tools/editorRémi Verschelde2017-02-099-0/+659
- `certs` and `editor_fonts` go to `thirdparty` - `dist` and `scripts` go to a new `misc` folder - `collada` and `doc` go to `tools/editor` The next step will be to rename `tools/editor` to `editor` directly, but this will be done at the right time to avoid breaking too many PRs.