jegardai
/
home_public
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Replace 101010.fr to ipr.univ-rennes.fr

This commit is contained in:
Jeremy Gardais 2023-12-18 10:08:31 +01:00
parent 1a3b89f162
commit 64fbbe29cc
Signed by: jegardai
GPG Key ID: E759BAA22501AF32
2 changed files with 11 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
mrconfig
View File

@ -8,12 +8,12 @@ git_gc = git gc "$@"
### {{{ User config ### {{{ User config
[$HOME/repos/gardouille.vim] [$HOME/repos/gardouille.vim]
checkout = git clone 'https://git.101010.fr/gardouille-dotfiles/vim.git' 'gardouille.vim' checkout = git clone 'https://git.ipr.univ-rennes.fr/jegardai/vim' 'gardouille.vim'
update = git pull 'https://git.101010.fr/gardouille-dotfiles/vim.git' update = git pull 'https://git.ipr.univ-rennes.fr/jegardai/vim'
[$HOME/repos/101010.zsh] [$HOME/repos/ipr.zsh]
checkout = git clone 'https://git.101010.fr/gardouille-dotfiles/zsh.git' '101010.zsh' checkout = git clone 'https://git.ipr.univ-rennes.fr/jegardai/zsh' '101010.zsh'
update = git pull 'https://git.101010.fr/gardouille-dotfiles/zsh.git' update = git pull 'https://git.ipr.univ-rennes.fr/jegardai/zsh'
# Syntax highlighting in fish style # Syntax highlighting in fish style
[$HOME/repos/zsh-syntax-highlighting] [$HOME/repos/zsh-syntax-highlighting]
@ -30,12 +30,12 @@ update =
"${HOME}"/repos/fzf/install --key-bindings --completion --no-update-rc --no-bash --no-fish --no-zsh "${HOME}"/repos/fzf/install --key-bindings --completion --no-update-rc --no-bash --no-fish --no-zsh
[$HOME/repos/gardouille.tmux] [$HOME/repos/gardouille.tmux]
checkout = git clone 'https://git.101010.fr/gardouille-dotfiles/tmux.git' 'gardouille.tmux' checkout = git clone 'https://git.ipr.univ-rennes.fr/jegardai/tmux' 'gardouille.tmux'
update = git pull 'https://git.101010.fr/gardouille-dotfiles/tmux.git' update = git pull 'https://git.ipr.univ-rennes.fr/jegardai/tmux'
[$HOME/repos/gardouille.scripts] [$HOME/repos/gardouille.scripts]
checkout = git clone 'https://git.101010.fr/gardouille-dotfiles/scripts.git' 'gardouille.scripts' checkout = git clone 'https://git.ipr.univ-rennes.fr/jegardai/scripts' 'gardouille.scripts'
update = git pull 'https://git.101010.fr/gardouille-dotfiles/scripts.git' update = git pull 'https://git.ipr.univ-rennes.fr/jegardai/scripts'
### }}} ### }}}

4
profile
View File

@ -1,5 +1,5 @@
# Default .profile from gardouille.home_public # Default .profile from gardouille.home_public
# https://git.101010.fr/gardouille-dotfiles/home_public # https://git.ipr.univ-rennes.fr/jegardai/home_public
# Manage dependencies {{{ # Manage dependencies {{{
## Ensure to have git {{{ ## Ensure to have git {{{
@ -40,7 +40,7 @@ REPO_PATH="${HOME}/${REPO_DIR}"
# If no .mrconfig file is available {{{ # If no .mrconfig file is available {{{
if [ ! -f "${HOME}"/.mrconfig ]; then if [ ! -f "${HOME}"/.mrconfig ]; then
## Download a basic one ## Download a basic one
wget --quiet https://git.101010.fr/gardouille-dotfiles/home_public/raw/branch/master/mrconfig -O "${HOME}"/.mrconfig wget --quiet https://git.ipr.univ-rennes.fr/jegardai/home_public/raw/branch/master/mrconfig -O "${HOME}"/.mrconfig
fi fi
# }}} # }}}
# Update repositories {{{ # Update repositories {{{