Bruno BELANYI
e0e5f22bb2
[ADD][GIT] Use EPITA identity for relevant repos
2020-12-12 14:12:42 +01:00
Bruno BELANYI
1b12a8e1c9
[UPDATE][GIT] Ignore GDB history files
2020-12-12 14:12:42 +01:00
Bruno BELANYI
c6b49eb750
[UPDATE][GIT] Ignore compilation database files
2020-12-12 14:12:42 +01:00
Bruno BELANYI
5fc613a7c0
[ADD][GIT] Alias to push to new branch & track it
2020-12-12 14:12:42 +01:00
Bruno BELANYI
bbbac941ce
[UPDATE][GIT] Ignore Python-related files
2020-12-12 14:12:42 +01:00
Bruno BELANYI
df7220c155
[ADD][GIT] Ignore localrc scripts
2020-12-12 14:12:42 +01:00
Bruno BELANYI
83d3ee0624
[UPDATE][GIT] Use tab-based indent in gitconfig
...
When you use `git config --global ...` to write to this file, it uses
tabs to indent the configuration options. This makes the file more
consistent with Git's way of writing the configuration.
2020-12-12 14:12:42 +01:00
Bruno BELANYI
51ef52513e
[ADD][GIT] Alias related to 'assume-unchanged'
2020-12-12 14:12:41 +01:00
Bruno BELANYI
8a9cc1f98e
[UPDATE][GIT] Use XDG_CONFIG_HOME scheme
...
Git supports looking for its configuration in
$XDG_CONFIG_HOME/git/config and a global ignore file in
$XDG_CONFIG_HOME/git/ignore in recent versions.
2020-12-12 14:12:41 +01:00
Bruno BELANYI