expipiplus1
/ configuration.nix
Created
June 3, 2018 12:02
This file contains hidden or 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
| { config, pkgs, ... }: | |
| { | |
| imports = | |
| [ ./hardware-configuration.nix | |
| ]; | |
| boot.loader.grub.enable = false; | |
| boot.loader.generic-extlinux-compatible.enable = true; |
expipiplus1
/ hardware-configuration.nix
Created
June 3, 2018 12:02
This file contains hidden or 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
| # Do not modify this file! It was generated by ‘nixos-generate-config’ | |
| # and may be overwritten by future invocations. Please make changes | |
| # to /etc/nixos/configuration.nix instead. | |
| { config, lib, pkgs, ... }: | |
| { | |
| imports = | |
| [ <nixpkgs/nixos/modules/installer/scan/not-detected.nix> | |
| ]; |
expipiplus1
/ configuration.nix
Created
June 3, 2018 12:02
This file contains hidden or 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
| { config, pkgs, ... }: | |
| { | |
| imports = | |
| [ ./hardware-configuration.nix | |
| ]; | |
| boot.loader.grub.enable = false; | |
| boot.loader.generic-extlinux-compatible.enable = true; |
expipiplus1
/ slides.html
Created
May 10, 2018 10:56
This file contains hidden or 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
| <!DOCTYPE html> | |
| <html> | |
| <head> | |
| <meta charset="utf-8"> | |
| <meta name="generator" content="pandoc"> | |
| <meta name="author" content="Joe Hermaszewski"> | |
| <title>FPGA Programming with Clash</title> | |
| <meta name="apple-mobile-web-app-capable" content="yes"> | |
| <meta name="apple-mobile-web-app-status-bar-style" content="black-translucent"> | |
| <meta name="viewport" content="width=device-width, initial-scale=1.0, maximum-scale=1.0, user-scalable=no, minimal-ui"> |
This file contains hidden or 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 LambdaCase #-} | |
| {-# LANGUAGE ViewPatterns #-} | |
| module Idiom where | |
| import Data.Foldable | |
| import Data.List | |
| import Data.MarkovChain | |
| import System.Environment | |
| import System.Random |
expipiplus1
/ install.sh
Created
October 20, 2017 09:58
This file contains hidden or 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 | |
| # This script installs the Nix package manager on your system by | |
| # downloading a binary distribution and running its installer script | |
| # (which in turn creates and populates /nix). | |
| { # Prevent execution if this script was only partially downloaded | |
| oops() { | |
| echo "$0:" "$@" >&2 | |
| exit 1 |
expipiplus1
/ shadowed-deps.patch
Created
October 19, 2017 08:29
This file contains hidden or 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
| diff --git a/compiler/main/Packages.hs b/compiler/main/Packages.hs | |
| index 949cc0f231..408794e078 100644 | |
| --- a/compiler/main/Packages.hs | |
| +++ b/compiler/main/Packages.hs | |
| @@ -1339,7 +1339,7 @@ validateDatabase dflags pkg_map1 = | |
| unusable = directly_ignored `Map.union` unusable_ignored | |
| `Map.union` unusable_broken | |
| `Map.union` unusable_cyclic | |
| - `Map.union` unusable_shadowed | |
| + -- `Map.union` unusable_shadowed |
expipiplus1
/ -
Created
October 16, 2017 09:32
This file contains hidden or 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
| [1;31m- /nix/store/cv05hgb99hwp5mj670mhsbvrcm56jz17-hello-2.10.drv:{out}[0m | |
| [1;32m+ /nix/store/bxcj28bqx4s15pd95mj4q806kj97gcpv-hello-2.10.drv:{out}[0m | |
| • The set of input names do not match: | |
| [1;31m- bash-4.4-p12[0m | |
| [1;32m+ bash-4.3-p46[0m |
expipiplus1
/ test.nix
Created
October 5, 2017 09:03
This file contains hidden or 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
| let foo = (import <nixpkgs> {}).writeTextFile { | |
| name = "foo"; | |
| text = ''"hello"''; | |
| }; | |
| in import foo |
expipiplus1
/ nixos.nix
Created
September 27, 2017 08:45
This file contains hidden or 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
| systemd.services.eth0-mac-change = | |
| let iname = "eth0"; | |
| macaddress = "aa:aa:aa:aa:aa:aa"; | |
| subsystemdevice = interface: | |
| "sys-subsystem-net-devices-${lib.escapesystemdpath interface}.device"; | |
| devicedependency = if config.boot.iscontainer | |
| then [] | |
| else [ (subsystemdevice i.name) ]; | |
| in { | |
| description = "mac configuration of ${iname}"; |