Git site local + remote + settings file

Question

git

Help to understand the solution of the situation:

There is a production server, there is a local machine.
On the local machine, there is AMP on which the site is being tested.
Used by git to push to production.

The site has a Settings.php settings file, which contains, among other things, connections to the database.
Accordingly - for the local machine one, for production - others.
The settings file itself, in addition to accessing the database, contains a bunch of settings that often change.

How to solve a problem in Git such that locally one data for the database, and locally test during development, and in production - others?

Answer 1

I don’t know the best practice for PHP, but in Python I do this: the local_settings file is imported into settings and the local_settings file is added to .gitignore

Answer 2

Split the configuration into several files and ignore the base configuration file.

Answer 3

Implement settings inheritance. For example, in settings.php include settings_default.php and overwrite local settings. add settings.php to .gitignore.

Answer 4

You can write a hook that substitutes the desired configuration file after push. It's not difficult at all.