Skip to content

Instantly share code, notes, and snippets.

@Maigre
Maigre / MPV build
Last active September 15, 2016 16:27
sudo apt update && sudo apt upgrade -y
sudo apt install git libtool build-essential pkg-config autoconf libfribidi-dev liblua5.1-0-dev libluajit-5.1-dev libv4l-dev libvdpau-dev libva-dev libxv-dev libxcb-xfixes0-dev libsdl1.2-dev libjpeg-dev libenca-dev libxcb-render0-dev libwayland-dev libwayland-client0 libwayland-cursor0 libwayland-egl1-mesa libxkbcommon-dev libxinerama-dev libxrandr-dev libxss-dev libgl1-mesa-dev fonts-dejavu-core libaacs-dev libass-dev libbluray-dev libbs2b-dev libcdio-cdda-dev libcdio-paranoia-dev libfontconfig1-dev libcaca-dev libx264-dev libasound2-dev libegl1-mesa-dev libgles2-mesa-dev libgles1-mesa-dev libx11-dev -y
git clone https://github.com/mpv-player/mpv-build.git
cd mpv-build
echo --enable-libmpv-shared > mpv_options
echo --enable-mmal >> ffmpeg_options
./rebuild -j4
sudo ./install
# libass dependencies
sudo apt install libfreetype6-dev libfribidi-dev libfontconfig1-dev
# ffmpeg dependencies
sudo apt install yasm libx264-dev
# mpv dependencies
sudo apt install libvdpau-dev libva-dev libxv-dev libjpeg-dev libxkbcommon-dev libxinerama-dev libxrandr-dev libgles2-mesa-dev libgles1-mesa-dev libv4l-dev libxss-dev libgl1-mesa-dev libgl2-mesa-dev
# lua
#!/bin/bash
./HPlayer/HPlayer --path /home/pi/media --start 1 --loop 1 --gl 1 --info 1
sudo poweroff
<?php
// the shared secret, used to sign the POST data (using HMAC with SHA1)
$secret = '----------------';
$command = "cd wp-content/themes/mytheme/ && git stash && git pull";
// receive POST data for signature calculation, don't change!
$post_data = file_get_contents('php://input');
$signature = hash_hmac('sha1', $post_data, $secret);
@Maigre
Maigre / usb-automount.sh
Last active May 3, 2018 15:13
USB automount
#!/bin/bash
# This script is called from our systemd unit file to mount or unmount
# a USB drive.
usage()
{
echo "Usage: $0 {add|remove} device_name (e.g. sdb1)"
exit 1
}
@Maigre
Maigre / dynhost.sh
Last active May 8, 2018 08:22
RPi change hostname at boot
##
# DYNHOST SCRIPT
##
> nano /root/dynhost.sh
#!/bin/bash
name=rpi
source /boot/config.txt
hostnamectl set-hostname "$name"
#!/bin/bash
# UPDATE RPI
sudo pacman -Syu --noconfirm
sudo pacman -S --needed base-devel --noconfirm
sudo pacman -S git --noconfirm
# COMPILE FLAGS
export MAKEFLAGS=-j4 PLATFORM_ARCH=armv7l PLATFORM_VARIANT=raspberry2
#!/bin/bash
# https://blog.kmp.or.at/build-your-own-raspberry-pi-image/
# https://hallard.me/raspberry-pi-read-only/
# http://blog.fraggod.net/2015/11/28/raspberry-pi-early-boot-splash-logo-screen.html
# https://www.raspberrypi.org/forums/viewtopic.php?f=28&t=127042
# http://www.edv-huber.com/index.php/problemloesungen/15-custom-splash-screen-for-raspberry-pi-raspbian
apt-get install -y omxplayer usbmount
#!/usr/bin/env python3
import sys, os
# total arguments
n = len(sys.argv)
if n < 2:
print("ERROR: please specify the release URL")
exit(2)
#!/bin/bash
# UPDATE RPI
sudo apt-get update
sudo apt-get upgrade -y
sudo apt-get dist-upgrade -y
sudo apt-get install git -y
# OPENFRAMEWORK
cd ~/