Rudie Dirkx rudiedirkx

rudiedirkx / padelgids.php

Created May 6, 2025 20:04

	<?php

	use GuzzleHttp\Client; // guzzlehttp/guzzle
	use rdx\jsdom\Node; // rdx/js-dom

	require 'vendor/autoload.php';

	$guzzle = new Client();

	if (file_exists($file = 'cache/padelgids.html')) {

rudiedirkx / composer-branches.sh

Created March 24, 2025 20:40

	checkfile="${1:-composer.lock}"
	#echo "$checkfile"

	basebranch="${2:-prod}"
	#echo "$basebranch"

	branches=`git branch --format='%(refname:short)'`
	for branch in $branches; do
	#echo "$branch"
	cmd="git dif --stat $basebranch...$branch -- $checkfile"

rudiedirkx / incrotate.php

Created March 22, 2025 16:25

	<?php

	function incrotate(int $startLength, string $in) : string {
	$len = $startLength;
	$out = '';
	while (strlen($out) < strlen($in)) {
	$part = substr($in, strlen($out), $len);
	$out .= strrev($part);
	$len++;
	}

rudiedirkx / phpstan-by-file.php

Created December 22, 2024 22:37

	<?php

	$output = trim(file_get_contents('php://stdin'));

	$lines = explode("\n", $output);
	$counts = [];
	$lastFile = null;
	foreach ($lines as $line) {
	if (preg_match('#^ Line \s+ (.+)#', $line, $match)) {
	$lastFile = trim($match[1]);

rudiedirkx / reboot-daily.php

Last active September 14, 2024 18:17

	<?php

	$_debug = false;
	$_uptime = 12;

	if (!date_default_timezone_set($timezone = trim(file_get_contents('/etc/timezone')))) {
	echo "Couldn't set timezone '$timezone'\n";
	exit(1);
	}

rudiedirkx / random-colors.js

Created March 10, 2024 15:52

copy(Array(32).fill(0).map(() => '#' + ('00000' + Math.floor(Math.random()*Math.pow(256, 3)).toString(16)).slice(-6)).join("\n"))

rudiedirkx / main-disk-free-convert-dates.php

Created February 12, 2024 02:24

rudiedirkx / votes.php

Created February 6, 2024 12:53

	<?php

	totalVotes(18.7);
	totalVotes(14.3);
	totalVotes(45.5);

	function totalVotes(float $target, float $margin = 0.08) : void {
	echo "$target %...\n";
	$fVotes = 100 / $target;
	echo "~ $fVotes votes...\n";

rudiedirkx / backUp_dip.sh

Last active February 26, 2024 13:26

	DATE="`date +"%d_%H%M"`"
	echo "DATE=$DATE"
	DB_FILEPATH="/home/forge/backups/dip_db_$DATE.sql"
	echo "DB_FILEPATH=$DB_FILEPATH"
	STORAGE_FILEPATH="/home/forge/backups/dip_storage_$DATE.tgz"
	echo "STORAGE_FILEPATH=$STORAGE_FILEPATH"
	echo

	echo "database:"
	mysqldump --defaults-file=/home/forge/.mysql.prod.cnf --skip-comments prod > "$DB_FILEPATH" \|\| exit 1

rudiedirkx / kill-zombie-chrome.php

Last active August 16, 2024 17:09

	<?php

	// $ps = `ps -axf -o pid,command \| grep -C3 '\/chrome\/'`;
	// $ps = `ps -axf -o pid,command \| grep 'chrome' \| grep -C1 -v '\\_'`;

	$ps1 = '';
	if ($pid1 = findPsPid($ps1)) {
	sleep(20);
	$ps2 = '';
	if ($pid2 = findPsPid($ps2)) {