Skip to content

Instantly share code, notes, and snippets.

View PedroHLC's full-sized avatar

Pedro Lara Campos PedroHLC

262 followers · 291 following
View GitHub Profile
@PedroHLC
PedroHLC / qemu-haxm-git.PKGBUILD
Last active November 20, 2018 13:06
Intel HAXM patch applied to QEMU
# Maintainer: Frederic Bezies <[email protected]>
# Contributor: ajs124 < aur at ajs124 dot de>
# Contributor: Devin Cofer <ranguvar{AT]archlinux[DOT}us>
# Contributor: Tobias Powalowski <[email protected]>
# Contributor: Sébastien "Seblu" Luttringer <[email protected]>
pkgbase=qemu-haxm-git
_gitname=qemu
pkgname=(qemu-haxm-git qemu-haxm-headless-git qemu-haxm-arch-extra-git qemu-haxm-headless-arch-extra-git qemu-haxm-block-{iscsi-git,rbd-git,gluster-git} qemu-haxm-guest-agent-git)
pkgdesc="A generic and open source machine emulator and virtualizer. Git version. Intel HAXM patch applied."
@PedroHLC
PedroHLC / keybase.md
Created October 29, 2018 18:47

Keybase proof

I hereby claim:

  • I am pedrohlc on github.
  • I am pedrohlc (https://keybase.io/pedrohlc) on keybase.
  • I have a public key ASBUhty19kgfnefhs8cc_tjHtGxtisGEVfHZCTLcOYIl-wo

To claim this, I am signing this object:

@PedroHLC
PedroHLC / kdeconnect.service
Created October 9, 2018 02:37
What I'm using to start kdeconnect in archlinux with i3 right now...
[Unit]
Description=KDE Connect
After=graphical.target
[Service]
Environment=DISPLAY=:0
ExecStart=/usr/lib/kdeconnectd
ExecStop=/usr/bin/kquitapp5 kdeconnectd
Restart=on-failure
BusName=org.kde.kdeconnect
@PedroHLC
PedroHLC / joga_das_gomas.c
Last active November 22, 2018 01:04
// By Pedro H. Lara Campos (RA 726578)
// Trabalho de PAA
// 2018-09-18
#include <stdio.h>
#include <stdlib.h>
#include <stdbool.h>
#include <string.h>
#define dprintf(...) //fprintf(stderr, __VA_ARGS__)
@PedroHLC
PedroHLC / eduroam
Last active September 19, 2018 19:45
NetworkManager UFSCar's eduroam profile
[connection]
id=eduroam_UFSCar
uuid=3f9f55e9-e63d-48c5-8f42-e43bd1cbb568
type=wifi
permissions=
[wifi]
mac-address-blacklist=
mode=infrastructure
ssid=eduroam
@PedroHLC
PedroHLC / PKGBUILD
Created January 17, 2018 19:24
elm-make-0.19 PKGBUILD
# Based on Lukas Werling elm-platform PKGBUILD
pkgname=elm-make-0.19
pkgver=0.19.0
pkgrel=0
pkgdesc="Elm language compiler 0.19."
arch=('x86_64')
url="http://elm-lang.org"
license=('BSD3')
depends=('gmp' 'zlib')
makedepends=('ghc' 'cabal-install' 'patchelf')
@PedroHLC
PedroHLC / PKGBUILD
Last active September 19, 2022 22:17
JabRef with SonarQube plugin
# JabRef with SonarQube plugin
# * You might need to install and start sonarqube service before installing:
# pacman -S sonarqube; systemctl start sonarqube
# * To get missing files: Download 'jabref' src's package from archlinux.org
# * Tested with versions: 3.0 3.5 4.0
pkgname_=jabref
pkgname=${pkgname_}-sonarqube
provides=(${pkgname_}})
conflicts=(${pkgname_}})
@PedroHLC
PedroHLC / Stack.elm
Last active October 19, 2017 14:43
module PedroHLC.Stack
exposing
( Stack
, empty
, isEmpty
, reverse
, singleton
, length
, push
, pop
@PedroHLC
PedroHLC / test.elm
Created July 11, 2017 00:04
inline condition in Elm
(?) : Bool -> ( a, a ) -> a
(?) cond ( ifTrue, ifFalse ) =
if cond then
ifTrue
else
ifFalse
(?) : a -> a -> ( a, a )
(?) ifTrue ifFalse =
@PedroHLC
PedroHLC / Gradients.elm
Created July 7, 2017 17:49
Gradients from http://uigradients.com ported to Elm
module Gradients exposing (..)
import Css exposing (Style, backgroundImage, linearGradient2, stop, stop2, hex, pct)
-- AUTO Generated from: https://raw.githubusercontent.com/ghosh/uiGradients/master/gradients.json
-- replaced "name": "([\w ]*) with "name": "\E$1
-- replaced "(\w*) (\w) with ""$1\U$2
-- used regex: /^\s*{\s*"name": "([\' \w0-9]*)",\s*"colors": \["#([a-f0-9]*)", "#([a-f0-9]*)", "#([a-f0-9]*)"\]\s*},?/g
-- and with fewer color samples