Skip to content

Commit d24fb57

Browse files
eglereanMirasalmGehock
authored
Update git.rst (#770)
Adding a documentation for the special case of gitbash and aalto windows and how the default home is on a network drive... --------- Co-authored-by: Mira Salmensaari <[email protected]> Co-authored-by: Sami Laine <[email protected]>
1 parent d9599a9 commit d24fb57

File tree

1 file changed

+9
-1
lines changed

1 file changed

+9
-1
lines changed

scicomp/git.rst

Lines changed: 9 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -84,7 +84,9 @@ just harder for random people to contribute). For non-work private
8484
repos, you have to make your own choice.
8585

8686
* Github is a proprietary commercial service, but extremely popular.
87-
No free private repositories or groups (but you can pay).
87+
It can allow personal private repositories and there is an option
88+
to apply for a "pro" account with your university email as part of
89+
their `GitHub Education <https://github.com/education>`__ program.
8890

8991
* Bitbucket is also somewhat popular, limit of free 5 private repositories
9092
(but you can pay for more).
@@ -96,3 +98,9 @@ repos, you have to make your own choice.
9698
another Gitlab hosted by the Coderefinery project, a pan-Nordic
9799
academic group. It might be useful if you have a very distributed
98100
project, but realistically for Aalto projects, use Aalto gitlab.
101+
102+
103+
Git installation and configuration
104+
==================================
105+
106+
If you are planning to use git version control and you do not have it in your system, you can check the `git installation instructions on CodeRefinery webpages <https://coderefinery.github.io/installation/git-in-terminal/#git-in-the-terminal>`__. Please note that in some windows systems managed by organisations (for example Aalto Windows) the default HOME for git (git bash) is on a drive that is NOT local (e.g. ``Z:\``). This can be an issue if you want to use git when the internet connection is not reliable, you can make sure your system uses another folder as ``$HOME`` by editing the global file "profile" which is usually found in "C:\Program Files\Git\etc" and add a line such as ``export HOME="/c/Users/<username>/"`` near the top of the file.

0 commit comments

Comments
 (0)