From d421ed271f9161602db7f1dd23ad3f5667880f52 Mon Sep 17 00:00:00 2001
From: Andreas Zweili <andreas@zweili.ch>
Date: Sat, 22 Jul 2023 14:29:02 +0200
Subject: [PATCH] Replace python shebang with nix-shell shebang

---
 scripts/format-disk.py | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)
 mode change 100644 => 100755 scripts/format-disk.py

diff --git a/scripts/format-disk.py b/scripts/format-disk.py
old mode 100644
new mode 100755
index c06dc5d..cd6b5fd
--- a/scripts/format-disk.py
+++ b/scripts/format-disk.py
@@ -1,4 +1,6 @@
-#!/usr/bin/env python3
+#! /usr/bin/env nix-shell
+#! nix-shell -i python3 -p python3
+
 import getpass
 import os
 import subprocess