From 5bc1fea17fb13f36e25e820e7945e9a61c15044c Mon Sep 17 00:00:00 2001
From: Frank Brehm <frank.brehm@pixelpark.com>
Date: Fri, 25 Aug 2023 12:50:00 +0200
Subject: [PATCH] Defining filetype for *.repo

---
 files/vimrc-el9 | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/files/vimrc-el9 b/files/vimrc-el9
index 162a981..741ba20 100644
--- a/files/vimrc-el9
+++ b/files/vimrc-el9
@@ -145,6 +145,10 @@ endif
 " http://www.linuxpowertop.org/known.php
 let &guicursor = &guicursor . ",a:blinkon0"
 
+" Set the filetype based on the file's extension, but only if
+" 'filetype' has not already been set
+au BufRead,BufNewFile *.repo setfiletype dosini
+
 " Source a global configuration file if available
 if filereadable("/etc/vimrc.local")
   source /etc/vimrc.local
-- 
2.39.5