- 15 Feb, 2018 1 commit
-
-
Bas Nijholt authored
-
- 13 Feb, 2018 1 commit
-
-
Bas Nijholt authored
-
- 07 Feb, 2018 2 commits
-
-
Bas Nijholt authored
-
Bas Nijholt authored
-
- 06 Feb, 2018 1 commit
-
-
Bas Nijholt authored
-
- 05 Feb, 2018 1 commit
-
-
Bas Nijholt authored
-
- 11 Jan, 2018 1 commit
-
-
Bas Nijholt authored
-
- 08 Jan, 2018 1 commit
-
-
Bas Nijholt authored
-
- 18 Dec, 2017 5 commits
-
-
Bas Nijholt authored
-
Bas Nijholt authored
-
Bas Nijholt authored
-
Bas Nijholt authored
-
Bas Nijholt authored
-
- 17 Dec, 2017 1 commit
-
-
Bas Nijholt authored
-
- 21 Nov, 2017 1 commit
-
-
Bas Nijholt authored
-
- 14 Nov, 2017 2 commits
-
-
Bas Nijholt authored
-
Bas Nijholt authored
-
- 12 Nov, 2017 1 commit
-
-
Anton Akhmerov authored
-
- 09 Nov, 2017 1 commit
-
-
Bas Nijholt authored
-
- 08 Nov, 2017 1 commit
-
-
Anton Akhmerov authored
-
- 07 Nov, 2017 3 commits
-
-
Rafal Skolasinski authored
-
Anton Akhmerov authored
Closes #6 (or so I hope)
-
Anton Akhmerov authored
-
- 01 Nov, 2017 1 commit
-
-
Joseph Weston authored
-
- 25 Oct, 2017 1 commit
-
-
Joseph Weston authored
-
- 20 Oct, 2017 1 commit
-
-
Joseph Weston authored
-
- 18 Oct, 2017 1 commit
-
-
Joseph Weston authored
-
- 16 Oct, 2017 2 commits
-
-
Rafal Skolasinski authored
add line_profiler See merge request qt/research-docker!2
-
Dániel Varjas authored
-
- 10 Oct, 2017 1 commit
-
-
Joseph Weston authored
-
- 09 Oct, 2017 2 commits
-
-
Joseph Weston authored
-
Bas Nijholt authored
-
- 19 Sep, 2017 1 commit
-
-
Joseph Weston authored
Not sure why this is necessary, perhaps due to our use of a minimal init process. Closes #1
-
- 14 Sep, 2017 1 commit
-
-
Joseph Weston authored
set HOME correctly, and don't set hostname from within the container (this fails).
-
- 02 Sep, 2017 6 commits
-
-
Joseph Weston authored
-
Joseph Weston authored
-
Joseph Weston authored
-
Joseph Weston authored
Without these 'jupyter' will not be in the path and everything will explode.
-
Joseph Weston authored
The price to pay is to run `start-singleuser.sh` as NB_USER, which takes advantage of the fact that `start.sh` does not try to rename users and home directories if not run as root. Closes #2
-
Joseph Weston authored
-