From 82204a93886e406c03aba7e84ee573390005ab38 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Wed, 17 Apr 2024 14:58:55 +0200
Subject: [PATCH] record how to install git lfs

---
 fedora/installation.md | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/fedora/installation.md b/fedora/installation.md
index 5fd2e05..553e152 100644
--- a/fedora/installation.md
+++ b/fedora/installation.md
@@ -648,3 +648,11 @@ This one-shot move might be a little more awkward than usual; double-check
 * interface names:
   * review `nbhosting-addr.service` and `nbhosting-dev-addr.service`  
     and make sure to use the right native interface names (as arping does not seem to cope with aliases)
+
+## notes on installing git-lfs
+
+```bash
+# define the dnf repo
+curl -s https://packagecloud.io/install/repositories/github/git-lfs/script.rpm.sh | bash
+dnf install git-lfs
+```