From ecd9c9b13fc4e9ac367179156e342c5712759fcb Mon Sep 17 00:00:00 2001 From: Jan de Muijnck-Hughes Date: Thu, 4 Jul 2024 14:31:30 +0100 Subject: [PATCH] [ fix ] revert regexp for ipkg source dirs. This unknowningly introduced an error. --- idris-ipkg-mode.el | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/idris-ipkg-mode.el b/idris-ipkg-mode.el index d4e81fd..597341c 100644 --- a/idris-ipkg-mode.el +++ b/idris-ipkg-mode.el @@ -87,8 +87,9 @@ `(,idris-ipkg-keywords)) (defconst idris-ipkg-sourcedir-re - "^sourcedir\\s-*=\\s-*\"?\\([a-zA-Z/0-9]+\\)\"?") -;; "^\\s-*sourcedir\\s-*=\\s-*\\(\\sw+\\)" +;; "^sourcedir\\s-*=\\s-*\"?\\([a-zA-Z/0-9]+\\)\"?" + "^\\s-*sourcedir\\s-*=\\s-*\\(\\sw+\\)" +) ;;; Completion