ssh: make parse_ssh_agent only handle strings

pyright complains (wrongly I think) about value being None when passed to Path
to create the socket variable. Let's work around this by eliminating Nones as
values.

diff --git a/mkosi/__init__.py b/mkosi/__init__.py
index 5b0fdff100e361f6a6ed6c2e0cfa975523ac455e..4381ea2251cd321ca6711f704fd86fd7ba0359ae 100644 (file)
--- a/mkosi/__init__.py
+++ b/mkosi/__init__.py
@@ -5167,10 +5167,10 @@ def parse_remove_files(value: str) -> List[str]:
     return ["/" + os.path.normpath(p).lstrip("/") for p in value.split(",") if p]
 
 
-def parse_ssh_agent(value: Optional[str]) -> Optional[Path]:
+def parse_ssh_agent(value: str) -> Optional[Path]:
     """Will return None or a path to a socket."""
 
-    if value is None:
+    if not value:
         return None
 
     try:
@@ -5179,7 +5179,7 @@ def parse_ssh_agent(value: Optional[str]) -> Optional[Path]:
     except ValueError:
         pass
     else:
-        value = os.getenv("SSH_AUTH_SOCK")
+        value = os.getenv("SSH_AUTH_SOCK", "")
         if not value:
             die("--ssh-agent=true but $SSH_AUTH_SOCK is not set (consider running 'sudo' with '-E')")
 
@@ -5740,7 +5740,7 @@ def create_parser() -> ArgumentParserMkosi:
     group.add_argument(
         "--ssh-agent",
         type=parse_ssh_agent,
-        default=None,
+        default="",
         metavar="PATH",
         help="Path to the ssh agent socket, or true to use $SSH_AUTH_SOCK.",
     )