This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
context: | |
name: xtensor | |
version: 0.24.6 | |
sha256: f87259b51aabafdd1183947747edfff4cff75d55375334f2e81cee6dc68ef655 | |
package: | |
name: ${{ name|lower }} | |
version: ${{ version }} | |
source: |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
--- | |
Language: Cpp | |
AccessModifierOffset: -1 | |
AlignAfterOpenBracket: DontAlign | |
AlignConsecutiveAssignments: true | |
AlignConsecutiveDeclarations: false | |
AlignConsecutiveMacros: true | |
AlignEscapedNewlines: Left | |
AlignOperands: true | |
AlignTrailingComments: true |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
[package] | |
name = "algos" | |
version = "0.3.3" | |
authors = ["GrayJack <gr41.j4ck@gmail.com>"] | |
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" |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/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 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# 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 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# Maintainer: Bernhard Landauer <oberon@manjaro.org> | |
# 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 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# /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" |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
conky.config = { | |
font = 'Dungeon:size=8', | |
alignment = 'middle_right', | |
background = true, | |
color1 = '#31F1A7', -- Manjaro Green | |
color2 = '#FFFFFF', -- White | |
color3 = '#F80D0D', -- Red | |
cpu_avg_samples = 2, | |
default_color = 'FFFFFF', | |
draw_shades = false, |
NewerOlder