From 93937ab14d8839af76114130ce09baefcb71d67b Mon Sep 17 00:00:00 2001
From: Henrik Lissner <henrik@lissner.net>
Date: Tue, 13 Oct 2020 22:52:10 -0400
Subject: [PATCH] Fix #3964: add ~/opt/miniconda3 to list of default paths

---
 modules/lang/python/config.el | 1 +
 1 file changed, 1 insertion(+)

diff --git a/modules/lang/python/config.el b/modules/lang/python/config.el
index 12540413f..cc23768e3 100644
--- a/modules/lang/python/config.el
+++ b/modules/lang/python/config.el
@@ -266,6 +266,7 @@
                                 "~/.miniconda3"
                                 "~/anaconda3"
                                 "~/miniconda3"
+                                "~/opt/miniconda3"
                                 "/usr/bin/anaconda3"
                                 "/usr/local/anaconda3"
                                 "/usr/local/miniconda3"