finally we save the changes and close the file. To apply the changes we need to run the following command
finally we save the changes and close the file. To apply the changes we need to run the following command
``` bash
``` bash
source ~/.bash_profile
source ~/.bash_profile
```
```

check if everything is in order

## Using sdkman
## Using sdkman
...
@@ -265,3 +306,25 @@ See more commands on the sdkman.io site
...
@@ -265,3 +306,25 @@ See more commands on the sdkman.io site
4. download the binary corresponding to your operating system
4. download the binary corresponding to your operating system
There are more choices for downloads. Typically a .zip or .tar.gz would imply manual setup while the .exe, .deb, .rpm, .dmg will provide some sort of installer support.
There are more choices for downloads. Typically a .zip or .tar.gz would imply manual setup while the .exe, .deb, .rpm, .dmg will provide some sort of installer support.
For the .zip or .tar.gz files you need to follow the procedure from above.
.exe (windows) - run and follow the installer prompts
.dmg (mac) - run and follow the installer prompts
.deb (linux) - package format used in Debian and Ubuntu linux distributions