From f907cdd39c787ac97c6c7c45aafd4b80161ea324 Mon Sep 17 00:00:00 2001 From: Jan Jurzitza Date: Thu, 17 Feb 2022 18:23:58 +0000 Subject: [PATCH] add /etc/dub/settings.json See https://github.com/dlang/dub/pull/2203 --- views/settings.dt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/views/settings.dt b/views/settings.dt index eb47ee3..b27209c 100644 --- a/views/settings.dt +++ b/views/settings.dt @@ -28,6 +28,7 @@ block body p Posix ul li /var/lib/dub/settings.json + li /etc/dub/settings.json (only if DUB has been installed in `/usr/...`) li <dub executable folder>/../etc/dub/settings.json li ~/.dub/settings.json li $ROOT_PACKAGE_DIR/dub.settings.json @@ -80,4 +81,4 @@ block body tr td defaultLowMemory td: code bool - td Enable the garbage collector for the compiler(dmd/ldc), reducing the compiler memory requirements but increasing compile times. \ No newline at end of file + td Enable the garbage collector for the compiler(dmd/ldc), reducing the compiler memory requirements but increasing compile times.