From 95b7e40c55bbd36ff411fc5e8a93f6118f351ab5 Mon Sep 17 00:00:00 2001 From: Massolari Date: Fri, 27 Jan 2023 14:58:25 -0300 Subject: [PATCH] Rename "Options" link to "NixOS Options" (#596) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-authored-by: Naïm Favier Fixes https://github.com/NixOS/nixos-search/issues/426 --- frontend/src/Main.elm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/frontend/src/Main.elm b/frontend/src/Main.elm index f8f2e74..ef162e8 100644 --- a/frontend/src/Main.elm +++ b/frontend/src/Main.elm @@ -433,7 +433,7 @@ viewNavigation route = :: List.map (viewNavigationItem route) [ ( Route.Packages searchArgs, text "Packages" ) - , ( Route.Options searchArgs, text "Options" ) + , ( Route.Options searchArgs, text "NixOS options" ) , ( Route.Flakes searchArgs, span [] [ text "Flakes", sup [] [ span [ class "label label-info" ] [ small [] [ text "Experimental" ] ] ] ] ) ]