Skip to content

Commit 37ee51f

Browse files
committed
Fix #908
1 parent 4b4d4d0 commit 37ee51f

File tree

1 file changed

+4
-4
lines changed

1 file changed

+4
-4
lines changed

downloads/platform.md

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -73,7 +73,7 @@ ln -s /Applications/Julia-{{stable_release_short}}.app/Contents/Resources/julia/
7373
which creates a symlink to a Julia version (here {{stable_release_short}}) of your choosing.
7474
Once that is done, you can close the shell profile page and quit Terminal. Now, just simply open Terminal again, type in `julia` in it, and it should run your version of Julia!
7575

76-
You can uninstall Julia by deleting Julia.app and the packages directory in `~/.julia`. Multiple Julia.app binaries can co-exist without interfering with each other. If you would also like to remove your preferences files, remove `~/.juliarc.jl` and `~/.julia_history`.
76+
You can uninstall Julia by deleting Julia.app and the packages directory in `~/.julia`. Multiple Julia.app binaries can co-exist without interfering with each other. If you would also like to remove your preferences files, remove `~/.julia/config/startup.jl` and `~/.julia/logs/repl_history.jl`.
7777

7878
## Linux and FreeBSD
7979

@@ -102,15 +102,15 @@ export PATH="$PATH:/path/to/<Julia directory>/bin"
102102

103103
Apart from this, there are several ways through which you can change environment variable. You can follow [this guide](https://help.ubuntu.com/community/EnvironmentVariables) to find out a way convenient for you.
104104

105-
Julia installs all its files in a single directory. Deleting the directory where Julia was installed is sufficient. If you would also like to remove your packages, remove `~/.julia`. The startup file is at `~/.juliarc.jl` and the history at `~/.julia_history`.
105+
Julia installs all its files in a single directory. Deleting the directory where Julia was installed is sufficient. If you would also like to remove your packages, remove `~/.julia`. The startup file is at `~/.julia/config/startup.jl` and the history at `~/.julia/logs/repl_history.jl`.
106106

107107

108108

109109
# Platform Specific Instructions for Unofficial Binaries
110110

111111

112112

113-
The following distribution-specific packages are community contributed. They may not use the right versions of Julia dependencies or include important patches that the official binaries ship with. In general, bug reports will only be accepted if they are reproducible on the official generic binaries on the downloads page.
113+
The following distribution-specific packages are community contributed. They may not use the right versions of Julia dependencies or include important patches that the official binaries ship with. All these distributions are community maintained, and hence they may not always have the latest versions of Julia, and sometimes, the instructions may not work. In general, bug reports will only be accepted if they are reproducible on the official generic binaries on the downloads page.
114114

115115

116116

@@ -164,7 +164,7 @@ Note that Fedora guidelines advise against uploading new breaking releases to of
164164

165165
## Debian/Ubuntu Linux
166166

167-
Recent Debian/ubuntu distributions include their own build of Julia, which can be installed in the usual way. If this is not the version of Julia you want, you will need to use the official binaries.
167+
Recent Debian/ubuntu distributions include their own build of Julia, which can be installed in the usual way. Check the versions of Julia provided in [Ubuntu](https://packages.ubuntu.com/search?keywords=julia) and [Debian](https://packages.debian.org/search?keywords=julia). If this is not the version of Julia you want, you will need to use the official binaries.
168168

169169
```
170170
sudo apt install julia

0 commit comments

Comments
 (0)