From 890d89481ee90348dcf23cd540b3c858a03df20d Mon Sep 17 00:00:00 2001 From: John Lago <750845+Lagoja@users.noreply.github.com> Date: Tue, 8 Oct 2024 15:32:11 -0700 Subject: [PATCH] Remove Fleek from Docs --- docs/app/docs/devbox_global.md | 14 -------------- 1 file changed, 14 deletions(-) diff --git a/docs/app/docs/devbox_global.md b/docs/app/docs/devbox_global.md index eaa24f96b3e..e8789102804 100644 --- a/docs/app/docs/devbox_global.md +++ b/docs/app/docs/devbox_global.md @@ -56,20 +56,6 @@ devbox global rm ripgrep removing 'github:NixOS/nixpkgs/ripgrep' ``` -## Using Fleek with Devbox Global - -[Fleek](https://getfleek.dev/) provides a nicely tuned set of packages and configuration for common tools that is compatible with Devbox Global. Configurations are provided at different [levels of bling](https://getfleek.dev/docs/bling), with higher levels adding more packages and opinionated configuration. - -To install a Fleek profile, you can use `devbox global pull `, where the Fleek URL indicates the profile you want to install. For example, to install the `high` bling profile, you can run: - -```bash -devbox global pull https://devbox.getfleek.dev/high -``` - -Fleek profiles also provide a few convenience scripts to automate setting up your profile. You can view the full list of scripts using `devbox global run` with no arguments - -For more information, see the [Fleek for Devbox Docs](https://getfleek.dev/docs/devbox) - ## Using Global Packages in your Host Shell If you want to make your global packages available in your host shell, you can add them to your shell PATH. Running `devbox global shellenv` will print the command necessary to source the packages.