annotate host/stop_nginx.sh @ 1833:e6a5f178e5f9 default tip

remove discord
author Franklin Schmidt <fschmidt@gmail.com>
date Sun, 22 Dec 2024 18:46:25 -0700
parents a65802b06b01
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1637
a65802b06b01 add nginx scripts
fffilimonov
parents:
diff changeset
1 #!/bin/bash
a65802b06b01 add nginx scripts
fffilimonov
parents:
diff changeset
2
a65802b06b01 add nginx scripts
fffilimonov
parents:
diff changeset
3 sudo $(which nginx) -s stop;