git.ipr: New main domain
This commit is contained in:
parent
a7273f2d63
commit
522c08a317
@ -13,8 +13,8 @@
|
||||
# }}}
|
||||
# How-to use {{{
|
||||
## 1. Needs releasetags script, in the same directory
|
||||
## cf. https://git.ipr.univ-rennes1.fr/cellinfo/scripts/src/master/github/releasetags
|
||||
# wget https://git.ipr.univ-rennes1.fr/cellinfo/scripts/raw/master/github/releasetags
|
||||
## cf. https://git.ipr.univ-rennes.fr/cellinfo/scripts/src/master/github/releasetags
|
||||
# wget https://git.ipr.univ-rennes.fr/cellinfo/scripts/raw/master/github/releasetags
|
||||
## 2. Create a cron job, eg :
|
||||
#00 20 * * * root /opt/repos/ipr.scripts/github/check.eza.update
|
||||
## 2-1 Create a cron job to compare the version of manually installed package
|
||||
|
Loading…
x
Reference in New Issue
Block a user