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 +
 1 file changed, 1 insertion(+)

(limited to 'lib/default.nix')

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
-- 
cgit v1.2.3