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
njh
/ _README.md
Last active
October 5, 2019 12:06
Shell script to create a WebID certificate using OpenSSL
GianlucaGuarini
/ post-merge
Last active
August 22, 2023 20:54
— 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 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" | |
| } |
This file contains 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 | |
| } |