Skip to content

Instantly share code, notes, and snippets.

@upggr
upggr / windows github webhook
Last active February 5, 2024 08:24
Workflow for automated github pull on windows
On the github website there is guide detailing a worfklow for the developer that wants to have continuous integration on a linux server.
This has been detailed in many gists and goes like this in its simplest form :
1.git clone on your public_html folder (after you create ssh keys etc)
2.create a file gitpull.php with the command : exec(git pull); inside it
3.create a webhook on github to call yourwebsite.com/gitpull.php
What about windows though? you can install git bash, but the above will not work because of permissions, mostly because the user that will invoke the url will be whatever user is running the process that calls php (for example SYSTEM or IUSR)
I have a better, clever solution for that, that uses.. the windows log! Also great for troubleshooting your deployments:
@stefan2904
stefan2904 / lvextend
Last active September 18, 2024 07:57
how to extend your /home logical volume with LVM on ext4
% df -h
Filesystem Size Used Avail Use% Mounted on
/dev/dm-1 46G 14G 31G 31% /
udev 10M 0 10M 0% /dev
tmpfs 2.3G 9.2M 2.3G 1% /run
tmpfs 5.8G 232K 5.8G 1% /dev/shm
tmpfs 5.0M 4.0K 5.0M 1% /run/lock
tmpfs 5.8G 0 5.8G 0% /sys/fs/cgroup
/dev/mapper/thinkbook-home 92G 55G 33G 63% /home
/dev/sda1 232M 35M 181M 16% /boot
@wagnerjgoncalves
wagnerjgoncalves / jenkins.md
Last active April 19, 2023 07:27
Shell Script to install Jenkins at Ubuntu