def deploy():
"""
Deploy to remote environment.
Deploys code from the current git branch to the remote server and reloads
services so that the new code is in effect.
The remote server to deploy to is automatically determined based on the
currently checked-out git branch and matched to the configuration specified
in fabfile/deploy/config.py.
"""
code.deploy()
# Post-deploy tasks on the remote server
with settings(host_string=servers.remote()):
build()
puppet.run()
app.restart()
def restart(self):
"""Closes all MainWindows and restart Frescobaldi."""
self.quit()
if not app.windows:
app.restart()
def restart(self):
"""Closes all MainWindows and restart Frescobaldi."""
self.quit()
app.restart()