Skip to content

Instantly share code, notes, and snippets.

@tomasaschan
Created October 16, 2015 11:33
Show Gist options
  • Save tomasaschan/799089848f6089196ee6 to your computer and use it in GitHub Desktop.
Save tomasaschan/799089848f6089196ee6 to your computer and use it in GitHub Desktop.
Julia session without ENV["HOME"] on Windows
_
_ _ _(_)_ | A fresh approach to technical computing
(_) | (_) (_) | Documentation: http://docs.julialang.org
_ _ _| |_ __ _ | Type "?help" for help.
| | | | | | |/ _` | |
| | |_| | | | (_| | | Version 0.4.0 (2015-10-08 06:20 UTC)
_/ |\__'_|_|_|\__'_| | Official http://julialang.org/ release
|__/ | x86_64-w64-mingw32
julia> cd(Pkg.dir("DualNumbers"))
shell> git status
On branch dual-mod
Your branch is up-to-date with 'tlycken/dual-mod'.
nothing to commit, working directory clean
shell> git remote -v
origin https://github.com/JuliaDiff/DualNumbers.jl (fetch)
origin https://github.com/JuliaDiff/DualNumbers.jl (push)
tlycken [email protected]:tlycken/DualNumbers.jl.git (fetch)
tlycken [email protected]:tlycken/DualNumbers.jl.git (push)
shell> git pull
Permission denied (publickey).
fatal: Could not read from remote repository.
Please make sure you have the correct access rights
and the repository exists.
julia> ENV["HOME"] = homedir()
"C:\\Users\\Tomas Lycken"
shell> git pull
Warning: Permanently added the RSA host key for IP address '192.30.252.129' to the list of known hosts.
Already up-to-date.
julia> pop!(ENV, "HOME")
"C:\\Users\\Tomas Lycken"
shell> git pull
Permission denied (publickey).
fatal: Could not read from remote repository.
Please make sure you have the correct access rights
and the repository exists.
julia> run(Pkg.Git.cmd(`pull`))
Permission denied (publickey).
fatal: Could not read from remote repository.
Please make sure you have the correct access rights
and the repository exists.
ERROR: failed process: Process(`git pull`, ProcessExited(1)) [1]
in run at process.jl:531
julia> Pkg.Git.run(`pull`)
Permission denied (publickey).
fatal: Could not read from remote repository.
Please make sure you have the correct access rights
and the repository exists.
ERROR: failed process: Process(`git pull`, ProcessExited(1)) [1]
in pipeline_error at process.jl:555
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment