MANAGE YOUR GALAXY SERVER

Galaxy server commands, quick reminder

Check that the server is running and see last logs

The following commands won't working if you are not logged as root. (sudo -i at your initial connection)

• Check the state of the Galaxy server

  galaxyctl status
  

• Restart gently the Galaxy server

  galaxyctl graceful 
  

• Restart "firmly" the Galaxy server (if for whatever reason it is frozen)

  galaxyctl restart
  

• Follow the activity log of the Galaxy WEB server:

  galaxyctl follow
  

---