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
let L = { | |
, Type = List Text | |
, default = [ "First", "Second" ] | |
} | |
in { | |
, the_default = L.default | |
, thing = [ "bloop", "bleep" ] : L.Type | |
-- Error : "You can only override records" |
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
let default_list = https://prelude.dhall-lang.org/List/default | |
let combiner | |
: forall ( T : Type ) -> forall ( default : T ) -> forall ( combine : T -> T -> T ) -> ( T -> T -> T ) | |
= | |
\( T : Type ) -> \( default : T ) -> \( combine : T -> T -> T ) -> | |
\( left : T ) -> \( right : T ) -> | |
-- The following expression is what would make this work but unfortunaly it doesn't for | |
-- it seems that to make this work something called row polymorphism is needed. The error | |
-- you'd get when running this is the compiler saying the types of left and right are not |
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
version: "1.0" | |
--- | |
#@ load( "@ytt:overlay", "overlay" ) | |
#@ load( "@ytt:template", "template" ) | |
--- | |
#@ def _mixin_array( path, value ): | |
#@ if path[ 0 ].endswith( "prefix" ): |
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
version: "3.7" |
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
version: "3.7" | |
--- | |
#@ load( "@ytt:template", "template" ) | |
#@ def init_bash_shell( service_name ): | |
#@overlay/match by=overlay.all | |
#@overlay/match-child-defaults missing_ok=True | |
--- | |
services: |
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
version: "3.7" | |
services: | |
cool-container: | |
beverages: | |
- Mate | |
- Coffee | |
- Tea | |
- Water | |
labels: | |
- cold |
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
version: '3.7' | |
--- | |
#@ load( "@ytt:overlay", "overlay" ) | |
#@overlay/match by=overlay.all | |
#@overlay/match-child-defaults missing_ok=True | |
--- | |
#@overlay/assert | |
version: '3.7' |
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
#!/usr/bin/env bash | |
set -e | |
declare entrypoint="" ; entrypoint=$( readlink -f "${BASH_SOURCE[0]}" 2>/dev/null || echo "$0" ) | |
sr_steam_roller() { |
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 | |
# @author: Claus Witt | |
# http://clauswitt.com/319.html | |
# Adding or Removing Items to hosts file | |
# Use -h flag for help | |
DEFAULT_IP=127.0.0.1 | |
IP=${3:-$DEFAULT_IP} |
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/bash | |
# Exit if something totally fails | |
set -e | |
source_directroy="$( readlink -e $1 )" | |
target_directory="$( readlink -e $2 )" | |
overlay_directory="$( readlink -e $3 )" | |
df --output=target | grep "$target_directory" | xargs -L1 umount -f |