Le Quotidien Shaarli

Tous les liens d'un jour sur une page.

May 24, 2018

OsmAnd - Offline Mobile Maps and Navigation

Youhou ! Une nouvelle version majeure de mon application Android préférée ( via http://shaarli.mydjey.eu/?fclSsQ ! )

Je fonce vers http://download.osmand.net/releases/ (cf mon shaarlink d'il y a 3 ans pour la précédente version majeure.
En effet, je n'ai pas le temps d'attendre la migration de la version de OsmAnd~ sur F-Droid, ni sa disponibilité sur Yalp Store.

Pour rappel, il y a 3 (voire 4) versions :

  1. OsmAnd sur GooglePlay, gratuite, limitée à 10 téléchargements de cartes.
  2. OsmAnd+ sur GooglePlay, payante (si vous voulez soutenir le projet), illimitée.
  3. OsmAnd~ sur F-Droid, gratuite, illimitée.
  4. OsmAnd (nightly build) sur le site des développeurs, gratuite, limitée à 10 téléchargements de cartes. Parfois instable.
    (via http://sebsauvage.net/wiki/doku.php?id=osmand )
Note: Fossil GitLab export-import

Après pas mal de galère, voici les différentes étapes pour

  1. passer d'un dépôt fossil local,
  2. l'exporter sous un format importable dans Git,
  3. transformer le nom de la branche principale ainsi que le nom de l'utilisateur
  4. et ensuite pousser tout cela dans un dépôt GitLab.

Hypothèse : un seul utilisateur et une seule branche initiaux.

git config --global user.name "Toto Tata"
git config --global user.email "toto.tata@example.fr"
ssh-keygen -t rsa -N '' -f ~/.ssh/id_rsa -C toto.tata@example.fr
cat - <<EOF > ~/.ssh/config 
    Host git.example-serveur.lan
            Port 2294
            User git
    EOF
Ajouter la clef SSH (partie publique) dans l'interface Gitlab (http://git.example-serveur.lan/profile/keys
cat ~/.ssh/id_rsa.pub
mkdir repo-example
cd repo-example
git init
fossil export --git ../alstom-repo | git fast-import
git branch -m trunk master
git checkout master
git filter-branch --commit-filter 'GIT_AUTHOR_NAME="Toto Tata" GIT_AUTHOR_EMAIL="toto.tata@example.fr" GIT_COMMITTER_NAME="Toto Tata" GIT_COMMITTER_EMAIL="toto.tata@example.fr" git commit-tree "$@"'
git remote add origin git@git.example-serveur.lan:Projet-example/repo-example.git
git push -u origin master

Quelques liens