diff --git a/lua/idris2/init.lua b/lua/idris2/init.lua
index 1cd21f0..d9c223e 100644
--- a/lua/idris2/init.lua
+++ b/lua/idris2/init.lua
@@ -123,4 +123,8 @@ function M.hide_namespace()
 	vim.lsp.buf_notify(0, "workspace/didChangeConfiguration", { settings = { fullNamespace = false } })
 end
 
+function M.set_ipkg_path(path)
+	vim.lsp.buf_notify(0, "workspace/didChangeConfiguration", { settings = { ipkgPath = path } })
+end
+
 return M