Skip to content

Instantly share code, notes, and snippets.

View Potherca's full-sized avatar
🤔
I wonder what this button does…

Ben Peachey Potherca

🤔
I wonder what this button does…
View GitHub Profile
@sicet7
sicet7 / jwk_with_phpseclib_test.php
Last active September 6, 2023 16:29
Use JWK from JSON with the lcobucci/jwt library through phpseclib. Credit to @whatTool for helping with the implementation
<?php
//REQUIREMENTS!
//"phpseclib/phpseclib": "^3.0"
//"lcobucci/jwt": "^5.0"
require_once __DIR__ . '/vendor/autoload.php';
$json = '{
"keys": [
{
@hisorange
hisorange / prerender.worker.js
Created October 17, 2022 10:46
Prerender New Worker
// User agents handled by Prerender
const BOT_AGENTS = [
"googlebot",
"yahoo! slurp",
"bingbot",
"yandex",
"baiduspider",
"facebookexternalhit",
"twitterbot",
"rogerbot",
@Potherca
Potherca / README.md
Last active June 14, 2024 10:37
Bookmarklet for Pinguin Radio

This gist contains JS code that can be used as a bookmarklet to change the new (awesome!) Pinguin Radio website to only display the audio player.

Before

Screenshot at 2023-03-15

After

Screenshot at 2023-03-15

@MadaraUchiha
MadaraUchiha / github-markdown-linkify.user.js
Created June 10, 2020 13:40
Add mentions to markdown in GitHub
// ==UserScript==
// @name Linkify Markdown Mentions - github.com
// @namespace Violentmonkey Scripts
// @match https://github.com/*
// @grant none
// @version 1.0
// @author Madara Uchiha
// @description 6/10/2020, 4:29:55 PM
// ==/UserScript==
@Potherca
Potherca / pipeline-components-pulls.md
Last active February 5, 2024 13:15
Amount of pulls from docker hub for each of the gitlab pipeline-components.
@mjrider
mjrider / releaser
Created January 27, 2019 18:58
quick'n'dirty tag next release script
#!/bin/bash
# ==============================================================================
# MIT License
#
# Copyright (c) 2019 Robbert Müller
# Permission is hereby granted, free of charge, to any person obtaining a copy
# of this software and associated documentation files (the "Software"), to deal
# in the Software without restriction, including without limitation the rights
# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
@marulitua
marulitua / setup.sh
Last active November 16, 2023 00:38
Instal php5.6 with phpbrew on ubuntu 18.04
#!/bin/bash
# Instal php5.6 with phpbrew on ubuntu 18.04
# Install all dependencies
sudo apt update
sudo apt install wget php build-essential libxml2-dev libxslt1-dev libbz2-dev libcurl4-openssl-dev libmcrypt-dev libreadline-dev libssl-dev autoconf
wget https://github.com/phpbrew/phpbrew/raw/master/phpbrew
chmod +x phpbrew
mv phpbrew /usr/local/bin
@KavenTheriault
KavenTheriault / clean_code.md
Last active August 21, 2018 07:24 — forked from wojteklu/clean_code.md
Summary of 'Clean code' by Robert C. Martin

What is Clean Code

  • elegant and efficient
  • does one thing well
  • can easily be read, and enhanced by a developer other than its original author
  • meaningful names
  • minimal dependencies
  • has unit and acceptance tests
  • clean code always looks like it was written by someone who cares
  • nothing obvious that you can do to make it better
  • no duplication
@dikiaap
dikiaap / git-io-custom-url.md
Last active May 7, 2024 17:34
git.io custom URL

Update: As of 11 January 2022, git.io no longer accepts new URLs.

Command:

curl https://git.io/ -i -F "url=https://github.com/YOUR_GITHUB_URL" -F "code=YOUR_CUSTOM_NAME"

URLs that can be created is from:

  • https://github.com/*
  • https://*.github.com
@oneilsh
oneilsh / OpenprocessingLinks.md
Last active March 18, 2024 21:16
Openprocessing Links