AndreSteenveld

let L = {
	  , Type = List Text
    , default = [ "First", "Second" ]
}

in {
	  , the_default = L.default
    , thing = [ "bloop", "bleep" ] : L.Type
    
    -- Error : "You can only override records"

AndreSteenveld

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

AndreSteenveld

version: "1.0"

---
#@ load( "@ytt:overlay", "overlay" )
#@ load( "@ytt:template", "template" )

---

#@ def _mixin_array( path, value ):
#@   if path[ 0 ].endswith( "prefix" ):

AndreSteenveld

version: "3.7"

AndreSteenveld

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:

AndreSteenveld

version: "3.7"
services:
  cool-container:
    beverages:
    - Mate
    - Coffee
    - Tea
    - Water
    labels:
    - cold

AndreSteenveld

version: '3.7'

---
#@ load( "@ytt:overlay", "overlay" )
#@overlay/match by=overlay.all
#@overlay/match-child-defaults missing_ok=True
---

#@overlay/assert
version: '3.7'

AndreSteenveld

#!/usr/bin/env bash



set -e

declare entrypoint="" ; entrypoint=$( readlink -f "${BASH_SOURCE[0]}" 2>/dev/null || echo "$0" )

sr_steam_roller() {

AndreSteenveld

#! /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}

AndreSteenveld

#!/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