kasran, fourier transfemme @typhlosion@awoo.space

new av new av new av @quasar@snouts.online new av

my website that i've barely done anything with uses, uh, nginx, i guess? to serve the pages

i'm thinking of trying out writing a little Rocket server instead, to have a bit more flexibility (and also because i wanna Do Cool Stuff with my site at some point)

if she's ur jackdaw how come she's on my big sphinx of quartz

the context is a discord bot written in python with some hot-reload functionality so i don't have to ssh in to stop and restart the bot whenever i make changes. this way when i push an update all i have to do is send the bot a reload command

... but i imagine you could put more things in that hook to make it e.g. compile and/or (re)start a service automatically

...... but really, at that point you should be using a proper pipeline, maybe with CI and testing

caveat programmor

if you're curious, this is what i put in the post-update hook:

cd ..
env -i git reset --hard

of all the bad things i've done as a software developer, perhaps my favorite is using a non-bare remote git repo with a hook to make it automatically reset the working tree on each new push. who needs a proper deployment pipeline, right

just once i want to see a horror game with a cemetery that has a sensible layout and, like, a directory

grao