Skip to content

Instantly share code, notes, and snippets.

View bonnebulle's full-sized avatar
🤢
green

vincent_b bonnebulle

🤢
green
View GitHub Profile
@matthewhartman
matthewhartman / install-fonts.txt
Created March 1, 2015 11:27
Install TTF Fonts in Debian
cd fonts
mv *.ttf /usr/share/fonts/truetype
cd /usr/share/fonts/truetype
mkfontscale
mkfontdir
fc-cache
xset fp rehash
@brad-jones
brad-jones / auto-configure-desktop.sh
Created March 25, 2015 02:57
Automating Linux Desktop with wmctrl
#!/bin/sh
# WMCTRL Desktop Automation script
# ================================
# Author: Brad Jones <brad@bjc.id.au>
#
# I assume you know what wmctrl is, if not not see:
# https://sites.google.com/site/tstyblo/wmctrl/
#
# I also assume you actually read the documentation.
# I have tested this on Fedora 21 running cinnamon and it works great.
@DonnchaC
DonnchaC / onion-address-calculate.py
Created August 25, 2015 14:24
Simple script to calculate the onion address from a Tor hidden service descriptor or public key
import hashlib
import base64
import argparse
import sys
from Crypto.PublicKey import RSA
def calculate_onion(pem_key):
key = RSA.importKey(pem_key)
@alexander-arce
alexander-arce / Create user
Last active March 8, 2023 14:24
Etherpad Lite Install + Postgresql
sudo adduser --system --home=/opt/etherpad --group etherpad
@OleVik
OleVik / gulpfile.js
Last active May 15, 2024 09:36
Build responsive images with Gulp
'use strict';
var gulp = require('gulp');
var gutil = require('gulp-util');
var del = require('del');
var debug = require('gulp-debug');
var $ = require('gulp-load-plugins')();
gulp.task('clean:pages', function() {
gutil.log('Deleting /pages/**/*', gutil.colors.magenta('123'));
return del([
@mostafar
mostafar / dedit.sh
Last active June 25, 2023 13:01 — forked from dmohs/dedit.sh
#!/bin/bash
IFS=$'\n\t'
set -euox pipefail
CNAME="$1"
FILE_PATH="$2"
FILE_NAME="$(basename "$FILE_PATH")"
TMPFILE="$(mktemp --suffix=_$FILE_NAME)"
@jamesmacwhite
jamesmacwhite / ffmpeg_mkv_mp4_conversion.md
Last active May 10, 2026 09:39
Easy way to convert MKV to MP4 with ffmpeg

Converting mkv to mp4 with ffmpeg

Essentially just copy the existing video and audio stream as is into a new container, no funny business!

The easiest way to "convert" MKV to MP4, is to copy the existing video and audio streams and place them into a new container. This avoids any encoding task and hence no quality will be lost, it is also a fairly quick process and requires very little CPU power. The main factor is disk read/write speed.

With ffmpeg this can be achieved with -c copy. Older examples may use -vcodec copy -acodec copy which does the same thing.

These examples assume ffmpeg is in your PATH. If not just substitute with the full path to your ffmpeg binary.

Single file conversion example

@ericek111
ericek111 / xoverlay.cpp
Last active September 6, 2025 16:04
X11 overlay
/*
* Copyright (c) 2020 ericek111 <erik.brocko@letemsvetemapplem.eu>.
*
* This program is free software: you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation, version 3.
*
* This program is distributed in the hope that it will be useful, but
* WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
HandBrakeCLI -i file.mp4 -o file.output.mp4 --preset="Normal Profile" --srt-file file.srt --srt-codeset UTF-8 --srt-burn
@smoll
smoll / USING-DIFFMERGE.md
Last active October 15, 2025 07:54
Using DiffMerge as your git mergetool (for Mac OS X / macOS)