This has now been moved to a proper GitHub repository: https://github.com/njh/gen-webid-cert
Please submit issues and enhancements there.
Tomáš Klapka tomasklapka
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/bin/bash | |
| # | |
| # Perform local backups of Gitter.im chat rooms. | |
| GITTER_ARCHIVE_URL="https://gitter.im/%s/archives/%s" | |
| usage() { | |
| echo "usage: $(basename $0) -f -r <chat-room> [-o <output-dir>] [-s <YYYY/MM/DD>] [-e <YYYY/MM/DD>]" 1>&2 | |
| exit 1 | |
| } |
GianlucaGuarini
/ post-merge
Last active
February 13, 2025 13:38
— forked from sindresorhus/post-merge
Git hook that gets triggered after any 'git pull' whenever one of the files specified has changed. Useful to update any web application dependency using bower npm or composer
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #/usr/bin/env bash | |
| # MIT © Sindre Sorhus - sindresorhus.com | |
| # forked by Gianluca Guarini | |
| changed_files="$(git diff-tree -r --name-only --no-commit-id ORIG_HEAD HEAD)" | |
| check_run() { | |
| echo "$changed_files" | grep -E --quiet "$1" && eval "$2" | |
| } |
njh
/ _README.md
Last active
October 5, 2019 12:06
Shell script to create a WebID certificate using OpenSSL