From 287bd7fc5d7527092586e7a07ac13cef6dc52a23 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jonathan=20Neusch=C3=A4fer?= <j.neuschaefer@gmx.net>
Date: Fri, 24 Feb 2023 16:57:35 +0100
Subject: [PATCH] environment.sh: Add example configuration for NixOS

This works if the lattice-diamond package from nixpkgs is installed and
"diamond" is in the path.
---
 environment.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/environment.sh b/environment.sh
index fe4338d0..1d053a15 100644
--- a/environment.sh
+++ b/environment.sh
@@ -27,6 +27,7 @@ cat > "${USER_ENV}" << EOT
 # Changes to this file will be automatically ignored by Git
 
 # export DIAMONDDIR=/usr/local/diamond/3.10_x64
+# export DIAMONDDIR="$(realpath "$(dirname "$(realpath "$(which diamond)")")"/../diamond)"  # suitable for NixOS
 EOT
 fi