Re-download vertico extensions on update
This commit is contained in:
parent
7e0dab42d7
commit
325e07225e
|
@ -38,7 +38,8 @@
|
|||
(let ((ext-file (format "%s.el" extension)))
|
||||
(url-copy-file
|
||||
(format "https://raw.githubusercontent.com/minad/vertico/main/extensions/%s" ext-file)
|
||||
(expand-file-name ext-file vertico-extensions-dir)))))
|
||||
(expand-file-name ext-file vertico-extensions-dir)
|
||||
t))))
|
||||
|
||||
(unless (file-directory-p vertico-extensions-dir)
|
||||
(make-directory vertico-extensions-dir t)
|
||||
|
|
Loading…
Reference in New Issue