Skip to content

Instantly share code, notes, and snippets.

View Falkor's full-sized avatar

Sebastien Varrette Falkor

View GitHub Profile
@Falkor
Falkor / Falkor.plist
Last active January 10, 2019 08:07
Personal custom key bindings for [MailMate](http://freron.com/)
{
// File: ~/Library/Application Support/MailMate/Resources/KeyBindings/Falkor.plist
// Copyright (c) 2014 Sebastien Varrette <Sebastien.Varrette@uni.lu>
// adapted from: http://mail.google.com/support/bin/answer.py?answer=6594
"/" = "mailboxSearch:";
"j" = "nextThread:";
"k" = "previousThread:";
"o" = "openMessages:"; // Gmail: Also expands or collapses a message if you are in 'Conversation View.'
"s" = "toggleFlag:";
#!/bin/bash
# Time-stamp: <Tue 2021-08-31 14:26 svarrette>
################################################################################
# Pre-commit hook to avoid accidentally adding unencrypted files with
# [git-crypt](https://www.agwa.name/projects/git-crypt/)
# Fix to [Issue #45](https://github.com/AGWA/git-crypt/issues/45)
#
# Usage:
# $ cd /path/to/repository
# $ git-crypt init
@Falkor
Falkor / myapp.rb
Last active November 5, 2016 13:11
#!/usr/bin/ruby
#########################################
# myapp.rb
# Time-stamp: <Sat 2016-11-05 10:42 svarrette>
#
# @description Sample Thor-based CLI to illustrate help display issue
##############################################################################
require 'thor'
require 'thor/actions'

Keybase proof

I hereby claim:

  • I am falkor on github.
  • I am svarrette (https://keybase.io/svarrette) on keybase.
  • I have a public key ASB0v7lf1g-f2aGdEe2gF38oeKdTihJ1lgq3jvXult7RQgo

To claim this, I am signing this object:

@Falkor
Falkor / do_bugwarrior_pull.sh
Created July 16, 2018 14:51
Wrapper over bugwarrior-pull to sustain stalled cron runs
#! /bin/bash
################################################################################
# do_bugwarrior_pull.sh - Perform the 'bugwarrior-pull' command
# See https://bugwarrior.readthedocs.io
# Time-stamp: <Wed 2017-11-22 14:58 svarrette>
#
# Copyright (c) 2017 Sebastien Varrette <Sebastien.Varrette@uni.lu>
################################################################################
LOCKFILE=$HOME/.config/task/bugwarrior.lockfile
@Falkor
Falkor / bugwarriorrc
Created July 18, 2018 13:17
bugwarriorrc template document
# bugwarriorrc -- Configuration file for Bugwarrior (see https://bugwarrior.readthedocs.io)
##############################################################################
# General stuff.
[general]
targets = gitlab.<domain>, github.com
# If unspecified, the default taskwarrior config will be used.
#taskrc = /path/to/.taskrc
@Falkor
Falkor / easybuild_test_report_easyconfigs_pr7234_20181306-UTC-08-13-20.md
Created December 6, 2018 08:13
EasyBuild test report for easyconfigs PR #7234

Test report for easybuilders/easybuild-easyconfigs#7234

Test result

Build succeeded for 1 out of 1 (1 easyconfigs in this PR)

Overview of tested easyconfigs (in order)

  • SUCCESS Spark-2.4.0-Hadoop-2.7-Java-1.8.eb

Time info

  • start: Thu, 06 Dec 2018 08:13:10 +0000 (UTC)
@Falkor
Falkor / git-crypt-rm-gpg-user.sh
Last active February 27, 2024 16:31 — forked from glogiotatidis/remove-gpg-user.sh
Git-crypt remove user.
#!/usr/bin/env bash
#
# Script to remove GPG user (recipient) with git-crypt
#
# It will re-initialize git-crypt for the repository and re-add all keys except
# the one requested for removal.
#
# Note: You still need to change all your secrets to fully protect yourself.
# Removing a user will prevent them from reading future changes but they will
# still have a copy of the data up to the point of their removal.
@Falkor
Falkor / easybuild_test_report_easyconfigs_pr10294_20201331-UTC-16-13-12.md
Created March 31, 2020 16:13
EasyBuild test report for easyconfigs PR #10294

Test report for easybuilders/easybuild-easyconfigs#10294

Test result

Build succeeded for 1 out of 1 (1 easyconfigs in this PR)

Overview of tested easyconfigs (in order)

  • SUCCESS PGI-19.10-GCC-8.3.0-2.32.eb

Time info

  • start: Tue, 31 Mar 2020 16:10:15 +0000 (UTC)
@Falkor
Falkor / easybuild_test_report_easyconfigs_pr10305_20203901-UTC-20-39-26.md
Created April 1, 2020 20:39
EasyBuild test report for easyconfigs PR #10305

Test report for easybuilders/easybuild-easyconfigs#10305

Test result

Build succeeded for 1 out of 1 (1 easyconfigs in this PR)

Overview of tested easyconfigs (in order)

  • SUCCESS Java-1.8.0_241.eb

Time info

  • start: Wed, 01 Apr 2020 20:39:13 +0000 (UTC)