warbo-utilities: ad561123fb77111f81b13fe290032463d8b69422

     1: {
     2:   bash,
     3:   dtach,
     4:   dvtm,
     5:   wrap,
     6: }:
     7: 
     8: wrap {
     9:   name = "shell";
    10:   paths = [
    11:     bash
    12:     dtach
    13:   ];
    14:   vars = {
    15:     sesh = wrap {
    16:       name = "sesh";
    17:       paths = [
    18:         bash
    19:         dvtm
    20:       ];
    21:       script = ''
    22:         #!${bash}/bin/bash
    23:         exec dvtm -M -m ^b
    24:       '';
    25:     };
    26:   };
    27:   script = ''
    28:     #!${bash}/bin/bash
    29:     # shellcheck disable=SC2154
    30:     exec dtach -A ~/.sesh -r winch "$sesh"
    31:   '';
    32: }

Generated by git2html.