Skip to content

Instantly share code, notes, and snippets.

View undu's full-sized avatar

Pau Ruiz Safont undu

View GitHub Profile
@undu
undu / sig
Created December 17, 2020 22:02 — forked from yawaramin/sig
Bourne Shell script to print out Merlin's inferred signature of an OCaml file (module)
#!/usr/bin/env sh
# Works with merlin version 2.5.4. Using protocol described at
# https://github.com/ocaml/merlin/blob/master/doc/dev/OLD-PROTOCOL.md#type-checking
usage ()
{
echo Usage: either of the following will work:
echo
echo ' sig module.ml'
@undu
undu / PKGBUILD
Created November 25, 2020 00:18
hamsket 0.6.0 aur
#Maintainer: Nils Czernia <nils[at]czserver.de>
pkgname=hamsket-bin
_pkgname=hamsket
pkgver=0.6.0
pkgrel=1
pkgdesc='Forked Free and Open Source messaging and emailing app that combines common web applications into one'
arch=('x86_64')
depends=('alsa-lib' 'bash' 'desktop-file-utils' 'gtk2' 'libnotify' 'libxtst' 'libxss' 'nss')
provides=('hamsket')
@undu
undu / PKGBUILD
Last active July 23, 2019 18:28
ttfautohint-nodocs
# Maintainer: Pau Ruiz Safont <unduthegun at gmail dot com>
# Contributors: Mario Finelli <mario at finel dot li>
# Arthur Titeica <arthur dot titeica at gmail dot com>
# Removed dependencies for building docs as it's broken with pandoc >= 2.0
_basename=ttfautohint
pkgname=$_basename-nodocs
pkgver=1.8.3
pkgrel=0
pkgdesc="Provides automated hinting process for web fonts, without docs so it's buildable"
@undu
undu / PKGBUILD
Last active September 18, 2018 09:47
podman-0.9.2.1-0
# Maintainer: xstaticxgpx (optimum.reflex<at>gmail<dot>com)
pkgname=podman
pkgver=0.9.2.1
pkgrel=2
pkgdesc="Utility for running OCI-based containers."
arch=('x86_64')
url="https://github.com/containers/libpod"
license=('Apache-2.0')
depends=(
@undu
undu / PKGBUILD
Last active September 28, 2018 09:52
gdm-plymouth-3.30.1-0
# Maintainer: Sebastian Lau <lauseb644 _at_ gmail _dot_ com>
# Contributor: Jan Alexander Steffens (heftig) <jan.steffens@gmail.com>
# Contributor: Jan de Groot <jgc@archlinux.org>
# Contributor: Damian01w <damian01w@gmail.com>
_pkgbase=gdm
pkgbase=gdm-plymouth
pkgname=(gdm-plymouth libgdm-plymouth)
pkgver=3.30.1
pkgrel=0
@undu
undu / PKGBUILD
Last active May 9, 2018 11:42
ttfautohint 1.8.1-3 with builddepends
# Maintainer: Mario Finelli <mario at finel dot li>
# Contributor: Arthur Titeica <arthur dot titeica at gmail dot com>
pkgname=ttfautohint
pkgver=1.8.1
pkgrel=3
pkgdesc="Provides automated hinting process for web fonts."
arch=('i686' 'x86_64')
url="http://www.freetype.org/ttfautohint/"
license=('GPL' 'custom')
[undu@aldebaran aur]$ wget https://archive.mozilla.org/pub/firefox/nightly/2017/02/2017-02-08-08-41-06-mozilla-aurora/firefox-53.0a2.en-US.linux-x86_64.tar.bz2 https://archive.mozilla.org/pub/firefox/nightly/2017/02/2017-02-08-08-41-06-mozilla-aurora/firefox-53.0a2.en-US.linux-x86_64.tar.bz2.asc && gpg --verify firefox-53.0a2.en-US.linux-x86_64.tar.bz2.asc firefox-53.0a2.en-US.linux-x86_64.tar.bz2 && sha512sum firefox-53.0a2.en-US.linux-x86_64.tar.bz2.asc firefox-53.0a2.en-US.linux-x86_64.tar.bz2
--2017-02-08 17:05:09-- https://archive.mozilla.org/pub/firefox/nightly/2017/02/2017-02-08-08-41-06-mozilla-aurora/firefox-53.0a2.en-US.linux-x86_64.tar.bz2
Resolving archive.mozilla.org... 52.85.214.179
Connecting to archive.mozilla.org|52.85.214.179|:443... connected.
HTTP request sent, awaiting response... 200 OK
Length: 66048094 (63M) [application/x-tar]
Saving to: ‘firefox-53.0a2.en-US.linux-x86_64.tar.bz2’
firefox-53.0a2.en-US.linux-x86_64.tar.bz2 100%[=======================================
@undu
undu / gist:8398b28e25e20a752494
Created December 10, 2015 17:56
log of Pretty Good Music Player skipping a song
12-10 18:50:39.444 2599-2599/com.smithdtyler.prettygoodmusicplayer I/Now Playing: got configured theme light
12-10 18:50:39.445 2599-2599/com.smithdtyler.prettygoodmusicplayer I/Now Playing: got configured size Medium
12-10 18:50:39.445 2599-2599/com.smithdtyler.prettygoodmusicplayer I/Now Playing: setting theme to light
12-10 18:50:39.493 2599-2599/com.smithdtyler.prettygoodmusicplayer I/Now Playing: Binding to the service!
12-10 18:50:39.497 2599-2599/com.smithdtyler.prettygoodmusicplayer D/Now Playing: Got song names [Ljava.lang.String;@51d774c position 0
12-10 18:50:39.508 2599-2599/com.smithdtyler.prettygoodmusicplayer I/Now Playing: got configured theme light
12-10 18:50:39.508 2599-2599/com.smithdtyler.prettygoodmusicplayer I/Now Playing: Got configured size Medium
12-10 18:50:39.514 2599-2599/com.smithdtyler.prettygoodmusicplayer I/MusicPlaybackService: Music Playback Service Created!
12-10 18:50:39.515 2599-2599/com.smithdtyler.prettygoodmusicplayer E/MediaPlayer-JNI: JNIMediaPlayerFactory: bIsQCMedi
@undu
undu / LICENSE
Created May 27, 2014 08:36 — forked from jxcl/LICENSE
This is free and unencumbered software released into the public domain.
Anyone is free to copy, modify, publish, use, compile, sell, or
distribute this software, either in source code form or as a compiled
binary, for any purpose, commercial or non-commercial, and by any
means.
In jurisdictions that recognize copyright laws, the author or authors
of this software dedicate any and all copyright interest in the
software to the public domain. We make this dedication for the benefit
@undu
undu / PKGBUILD
Last active December 24, 2015 05:29
Pkgbuild for ex falso 3.0.2
# Maintainer: Alexander Fehr <pizzapunk gmail com>
pkgname=exfalso
pkgver=3.0.2
pkgrel=1
pkgdesc="GTK+ audio tag editor"
arch=('any')
url="http://code.google.com/p/quodlibet/"
license=('GPL2')
depends=('python2-gobject' 'mutagen' 'desktop-file-utils' 'hicolor-icon-theme')