From 2cafddd78dc127ec3e66255808c5044893b261d3 Mon Sep 17 00:00:00 2001
From: Erik Arvstedt <erik.arvstedt@gmail.com>
Date: Sat, 18 Apr 2020 23:05:18 +0200
Subject: add target.extraOptions

---
 lib/default.nix           | 1 +
 pkgs/krops/default.nix    | 1 +
 pkgs/populate/default.nix | 1 +
 3 files changed, 3 insertions(+)

diff --git a/lib/default.nix b/lib/default.nix
index 9fdde0b..912a1c9 100644
--- a/lib/default.nix
+++ b/lib/default.nix
@@ -52,6 +52,7 @@ let {
       port = default "22" /* "ssh"? */ (elemAt' parse 5);
       path = default "/var/src" /* no default? */ (elemAt' parse 6);
       sudo = false;
+      extraOptions = [];
     } else s;
 
     shell = let
diff --git a/pkgs/krops/default.nix b/pkgs/krops/default.nix
index 07c7395..4760287 100644
--- a/pkgs/krops/default.nix
+++ b/pkgs/krops/default.nix
@@ -23,6 +23,7 @@ in
         (lib.optionals (target.user != "") ["-l" target.user])
         "-p" target.port
         "-t"
+        target.extraOptions
         target.host
         (if target.sudo then "sudo ${command}" else command)])}
     '';
diff --git a/pkgs/populate/default.nix b/pkgs/populate/default.nix
index 78bf3c8..36a97b3 100644
--- a/pkgs/populate/default.nix
+++ b/pkgs/populate/default.nix
@@ -194,6 +194,7 @@ let
     "-o" "ControlPersist=no"
     "-p" target.port
     "-T"
+    target.extraOptions
   ]);
 
 in
-- 
cgit v1.2.3