| @echo off | |
| REM move into the backups directory | |
| CD C:\backup | |
| REM Create a file name for the database output which contains the date and time. Replace any characters which might cause an issue. | |
| set filename=database %date% %time% | |
| set filename=%filename:/=-% | |
| set filename=%filename: =__% | |
| set filename=%filename:.=_% |
| # 0 is too far from ` ;) | |
| set -g base-index 1 | |
| # Automatically set window title | |
| set-window-option -g automatic-rename on | |
| set-option -g set-titles on | |
| #set -g default-terminal screen-256color | |
| set -g status-keys vi | |
| set -g history-limit 10000 |
Here are the simple steps needed to create a deployment from your lokal GIT repository to a server based on this in-depth tutorial.
You are developing in a working-copy on your local machine, lets say on the master branch. Most of the time, people would push code to a remote server like github.com or gitlab.com and pull or export it to a production server. Or you use a service like my Deepl.io to act upon a Web-Hook that's triggered that service.
