Commit graph

27 commits

Author SHA1 Message Date
Bruno BELANYI 20341a3129 refactor: 'with lib.my' -> 'with lib' 2023-03-16 16:42:55 +00:00
Bruno BELANYI e8c52175b6 home: git: add 'root' alias
All checks were successful
continuous-integration/drone/push Build is passing
2023-03-14 17:00:45 +00:00
Bruno BELANYI 938fb71f9c home: git: include local-only config file
Useful for configuration options that should remain secret.
2023-02-08 14:31:32 +00:00
Bruno BELANYI 5a07dda93b home: git: setup work identity
Now that I am at Google, gotta make sure I use the correct identity.
2023-02-08 14:24:05 +00:00
Bruno BELANYI 5e021e6436 all: remove package aliases 2022-09-30 08:59:27 +02:00
Bruno BELANYI b71be091a2 home: git: use 'zdiff3' merge conflict markers
See GitHub's presentation about this feature [1].

[1]: https://github.blog/2022-01-24-highlights-from-git-2-35/
2022-03-11 14:11:32 +01:00
Bruno BELANYI ef875f881f home: ssh: add 'work' host 2022-01-25 15:53:01 +01:00
Bruno BELANYI c492774baa home: git: do not change metadata color 2021-12-06 21:24:31 +01:00
Bruno BELANYI 281edd4eac home: git: switch to 'delta'
Now that my issue with it has been resolved [1], let's switch to the
more mature tool.

This also solves a small issue that I had with `diff-highlight` which is
that non-highlighted text should not be boldened.

[1]: https://github.com/dandavison/delta/issues/544
2021-11-29 17:50:07 +01:00
Bruno BELANYI 48a9f9b11e home: git: use diff-highlight in interactive diffs
Now even `git log -p` and `git add -p` can use the more readable diffs.
2021-11-29 13:13:48 +01:00
Bruno BELANYI ae06ccac4a home: git: rewrite gitlab URLs to use ssh 2021-10-18 14:45:23 +02:00
Bruno BELANYI a8cf45a9f7 home: git: rewrite github URLs to use ssh 2021-10-18 14:44:19 +02:00
Bruno BELANYI 6a18be1d0a home: git: rewrite personal gitea URLs to use ssh 2021-10-18 14:44:08 +02:00
Bruno BELANYI 7b7041e5b5 home: git: add git-related packages when enabled
Instead of adding them in the general packages section.
2021-10-13 15:36:28 +02:00
Bruno BELANYI 0bfc92b09c home: git: inline EPITA configuration include 2021-10-13 15:36:28 +02:00
Bruno BELANYI f76803c9bb home: git: use 'mkMailAccount' 2021-10-13 15:36:28 +02:00
Bruno BELANYI 3e6c467816 home: git: add 'git' alias 2021-10-12 16:33:33 +02:00
Bruno BELANYI 7469fe0063 home: git: use topological order in log
It is the one that makes most sense, rather than some kind of date
order...
2021-07-13 17:50:44 +02:00
Bruno BELANYI a223ca6072 home: git: add 'pick' alias
I wanted to name it 'pickaxe' but for a curious reason, it does not seem
to be working when I use that alias...

I am trying to find a second alias name for `git log -p -S`, which only
shows commits that change the number of occurrences of its pickaxe in
the file. Whereas `-G` shows any commit involving the pickaxe in its
diff.
2021-05-25 23:13:35 +02:00
Bruno BELANYI 3e9ccdbca7 home: git: clean up ignore file handling
All checks were successful
continuous-integration/drone/push Build is passing
2021-03-15 20:54:18 +00:00
Bruno BELANYI 4363c1312e home: git: sort configuration attributes 2021-03-15 20:53:52 +00:00
Bruno BELANYI 2732d0558a home: git: make it enable-able 2021-03-14 12:18:09 +00:00
Bruno BELANYI 94950d3360 home: git: set up colors for diff-highlight 2021-03-03 17:02:48 +00:00
Bruno BELANYI 863fcfafc2 home: git: enable diff-highlight 2021-03-03 17:02:48 +00:00
Bruno BELANYI bf2671a162 home: git: add default ignores 2021-03-03 17:02:48 +00:00
Bruno BELANYI d5ec493b92 home: git: add EPITA identity
Make it conditional on the repositorie's path, as with the Arch
configuration.
2021-03-03 17:02:48 +00:00
Bruno BELANYI 12712f3f77 home: add git 2021-03-03 17:02:48 +00:00