diff --git a/.profile b/.profile index 4389b3d..1376457 100755 --- a/.profile +++ b/.profile @@ -136,6 +136,12 @@ if [ -d "$HOME/.nix-profile" ] && [ -z "$NO_GUIX" ]; then fi # Other package managers:5 ends here +# [[file:Console.org::*Other package managers][Other package managers:6]] +if [ -d "$HOME/bin/gradle/gradle-9.0.0" ]; then + export PATH="$HOME/bin/gradle/gradle-9.0.0/bin:$PATH" +fi +# Other package managers:6 ends here + # [[file:Console.org::*npm][npm:2]] export NPM_CONFIG_USERCONFIG=$HOME/._npmrc # npm:2 ends here diff --git a/Console.org b/Console.org index 5f4210a..fc6f53a 100644 --- a/Console.org +++ b/Console.org @@ -209,6 +209,13 @@ if [ -d "$HOME/.nix-profile" ] && [ -z "$NO_GUIX" ]; then fi #+end_src +Gradle: +#+begin_src sh +if [ -d "$HOME/bin/gradle/gradle-9.0.0" ]; then + export PATH="$HOME/bin/gradle/gradle-9.0.0/bin:$PATH" +fi +#+end_src + *** npm npm is especially cumbersome, for instance because by default it tries to install packages to =/gnu/store/=.