Skip to content

Instantly share code, notes, and snippets.

View GrayJack's full-sized avatar
🦀

Eric Shimizu Karbstein GrayJack

🦀
108 followers · 99 following
View GitHub Profile
@GrayJack
GrayJack / cleanup_swap.md
Created June 28, 2024 12:55 — forked from anildigital/cleanup_swap.md
Cleanup swap space on macOS

To see current swap usage

sysctl -a | grep swap

Use only when when your system is in a very bad shape

$ sudo pkill -HUP -u _windowserver
@GrayJack
GrayJack / recipe.yaml
Created October 16, 2023 21:40
xtensor recipe
context:
name: xtensor
version: 0.24.6
sha256: f87259b51aabafdd1183947747edfff4cff75d55375334f2e81cee6dc68ef655
package:
name: ${{ name|lower }}
version: ${{ version }}
source:
@GrayJack
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)
@GrayJack
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
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
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
GrayJack / config.txt
Last active November 15, 2025 20:30
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
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
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
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