🦀

Eric Shimizu Karbstein GrayJack

🦀

Computer Science undergraduate @ UFABC.

GrayJack / qr_patches-sm.pco

Last active January 20, 2017 15:07

SciresM's patches for Pokemon Sun/Moon

	# $name Sun/Moon QR related patches (Loader)
	# $desc SciresM's QR patches for Pokemon Sun/Moon
	# $title 0004000000164800 0004000000175E00
	# $ver 04
	# $uuid 0003

	# Original patches by SciresM.
	# For more info: https://github.com/SciresM/SunMoonPatches
	# It was made dynamic to be more future-proof
	# Need testing

GrayJack / .conkyrc

Last active May 21, 2018 19:14

My conky config

GrayJack / .zshrc

Last active May 20, 2018 03:03

My Oh-My-Zsh Base config

	export TERM="xterm-256color"
	# If you come from bash you might have to change your $PATH.
	# export PATH=$HOME/bin:/usr/local/bin:$PATH

	# Path to your oh-my-zsh installation.
	export ZSH=/home/$USER/.oh-my-zsh

	# This need to be setup before ZSH_THEME for PowerLevel9k theme,
	# comment if this theme is not in use
	# If you use a normal powerline font you have to comment all 3

GrayJack / 60-schedulers.rules

Created February 15, 2018 02:52

	# /etc/udev/rules.d/60-scheduler.rules
	#
	# set deadline scheduler for non-rotating disks
	ACTION=="add\|change", KERNEL=="sd[a-z]", ATTR{queue/rotational}=="0", ATTR{queue/scheduler}="deadline"

	# set bfq-sq scheduler for rotating disks
	ACTION=="add\|change", KERNEL=="sd[a-z]", ATTR{queue/rotational}=="1", ATTR{queue/scheduler}="bfq-sq"

GrayJack / PKGBUILD mate-tweak

Created February 16, 2018 06:31

	# Maintainer: Bernhard Landauer <[email protected]>
	# Maintainer: Stefano Capitani <stefanoatmanjarodotorg>
	# Maintainer: Brenton Horne <brentonhorne77 at gmail dot com>
	# Contributor: Balló György <ballogyor+arch at gmail dot com>

	pkgname=mate-tweak
	pkgver=18.04.10
	#_umsver=18.04.4
	_commit=5c6f99e5be37c7cd325cd7cf1b11730cb945dd54
	pkgrel=1

GrayJack / config.txt

Last active February 11, 2025 18:00

Very complete and documented config.txt file for raspberry pi

	# See /boot/overlays/README for all available options
	##############################################################################
	## Raspberry Pi Configuration Settings
	##
	## Revision 18, 2018/03/05
	##
	## Details taken from the eLinux wiki
	## For up-to-date information please refer to wiki page.
	##
	## Wiki Location : http://elinux.org/RPiconfig

GrayJack / ocaml_setup_project.sh

Created December 19, 2018 10:52

My little script to easilly set up ocaml projects with some basic stuff that I use

	#!/bin/sh

	if [ $# != 1 ]; then
	echo "Usage: $(basename "$0") <project name>" >&2
	exit 1
	fi

	mkdir $1/
	mkdir $1/src/
	touch $1/src/main.ml

GrayJack / exemplo.toml

Created December 19, 2018 23:27

	[package]
	name = "algos"
	version = "0.3.3"
	authors = ["GrayJack <[email protected]>"]
	readme = "README.md"
	license = "BSD-3-Clause"
	license-file = "LICENSE"
	repository = "https://github.com/GrayJack/algos"
	documentation = "https://docs.rs/algos"
	homepage = "https://crates.io/crates/algos"

GrayJack / clang-format

Created January 7, 2020 19:51

	---
	Language: Cpp
	AccessModifierOffset: -1
	AlignAfterOpenBracket: DontAlign
	AlignConsecutiveAssignments: true
	AlignConsecutiveDeclarations: false
	AlignConsecutiveMacros: true
	AlignEscapedNewlines: Left
	AlignOperands: true
	AlignTrailingComments: true

GrayJack / agda-language-server-error

Created August 8, 2021 18:02

	Preparing to install GHC (tinfo6) to an isolated location.
	This will not interfere with any system-level installation.
	Downloaded ghc-tinfo6-8.10.1.
	Installed GHC.

	Error: While constructing the build plan, the following exceptions were encountered:

	In the dependencies for Agda-2.6.1.2:
	aeson must match >=1.1.2.0 && <1.6, but the stack configuration has no specified version (latest matching version is 1.5.6.0)
	alex must match >=3.1.0 && <3.2.0 \|\| ==3.2.1 \|\| >=3.2.3, but the stack configuration has no specified version (latest matching version is 3.2.6)