2023-11-06 19:21:44 -05:00
|
|
|
{ pkgs, ... }:
|
|
|
|
|
|
|
|
|
|
{
|
|
|
|
|
# https://devenv.sh/basics/
|
2023-11-06 19:42:01 -05:00
|
|
|
env.NAME = "$REPO_NAME";
|
2023-11-06 19:21:44 -05:00
|
|
|
|
|
|
|
|
# https://devenv.sh/packages/
|
|
|
|
|
packages = with pkgs;[
|
|
|
|
|
git
|
|
|
|
|
];
|
|
|
|
|
|
|
|
|
|
# https://devenv.sh/scripts/
|
|
|
|
|
scripts.welcome-banner.exec = ''
|
|
|
|
|
echo "Welcome to the $NAME development environment."
|
|
|
|
|
echo "Java version: $(java --version | head -n 1 | cut -d ' ' -f 2)"
|
|
|
|
|
'';
|
|
|
|
|
|
|
|
|
|
enterShell = "welcome-banner";
|
|
|
|
|
|
|
|
|
|
# https://devenv.sh/languages/
|
|
|
|
|
languages.java = {
|
|
|
|
|
enable = true;
|
|
|
|
|
gradle.enable = true;
|
|
|
|
|
jdk.package = pkgs.jdk17;
|
|
|
|
|
};
|
|
|
|
|
languages.kotlin.enable = true;
|
|
|
|
|
|
|
|
|
|
# https://devenv.sh/pre-commit-hooks/
|
|
|
|
|
# pre-commit.hooks.shellcheck.enable = true;
|
|
|
|
|
|
|
|
|
|
# https://devenv.sh/processes/
|
|
|
|
|
# processes.ping.exec = "ping example.com";
|
|
|
|
|
|
|
|
|
|
# See full reference at https://devenv.sh/reference/options/
|
|
|
|
|
}
|
