001-ssh_ident-fix-python.patch 621 B

1234567891011121314151617181920212223
  1. From 96084208d90aee11d8347b21f1a44ce361dc828c Mon Sep 17 00:00:00 2001
  2. From: Jeremy MAURO <jeremy.mauro@gmail.com>
  3. Date: Mon, 2 May 2022 16:21:48 +0200
  4. Subject: [PATCH] fix(python): force the usage of python3 by default
  5. Signed-off-by: Jeremy MAURO <jeremy.mauro@gmail.com>
  6. ---
  7. ssh-ident | 2 +-
  8. 1 file changed, 1 insertion(+), 1 deletion(-)
  9. diff --git a/ssh-ident b/ssh-ident
  10. index 911680f..ff218ba 100755
  11. --- a/ssh-ident
  12. +++ b/ssh-ident
  13. @@ -1,4 +1,4 @@
  14. -#!/usr/bin/env python
  15. +#!/usr/bin/env python3
  16. # vim: tabstop=2 shiftwidth=2 expandtab
  17. """Start and use ssh-agent and load identities as necessary.
  18. --
  19. 2.35.1