|
Warning: this is an htmlized version!
The original is here, and the conversion rules are here. |
#######
#
# E-scripts on lsp.
#
# Note 1: use the eev command (defined in eev.el) and the
# ee alias (in my .zshrc) to execute parts of this file.
# Executing this file as a whole makes no sense.
# An introduction to eev can be found here:
#
# (find-eev-quick-intro)
# http://angg.twu.net/eev-intros/find-eev-quick-intro.html
#
# Note 2: be VERY careful and make sure you understand what
# you're doing.
#
# Note 3: If you use a shell other than zsh things like |&
# and the for loops may not work.
#
# Note 4: I always run as root.
#
# Note 5: some parts are too old and don't work anymore. Some
# never worked.
#
# Note 6: the definitions for the find-xxxfile commands are on my
# .emacs.
#
# Note 7: if you see a strange command check my .zshrc -- it may
# be defined there as a function or an alias.
#
# Note 8: the sections without dates are always older than the
# sections with dates.
#
# This file is at <http://angg.twu.net/e/lsp.e>
# or at <http://angg.twu.net/e/lsp.e.html>.
# See also <http://angg.twu.net/emacs.html>,
# <http://angg.twu.net/.emacs[.html]>,
# <http://angg.twu.net/.zshrc[.html]>,
# <http://angg.twu.net/escripts.html>,
# and <http://angg.twu.net/>.
#
#######
# «.lsp-mode-git» (to "lsp-mode-git")
# «.keybindings» (to "keybindings")
# «.lean4-lsp» (to "lean4-lsp")
# «.resolve-host-name» (to "resolve-host-name")
# «.lsp-watch-root-folder» (to "lsp-watch-root-folder")
# «.persist» (to "persist")
# «.lsp-session» (to "lsp-session")
# «.import-project-root» (to "import-project-root")
# «.yasnippet» (to "yasnippet")
# https://emacs-lsp.github.io/lsp-mode/
# https://emacs-lsp.github.io/lsp-mode/page/languages/
# https://microsoft.github.io/language-server-protocol/
# (find-es "emacs" "lsp-mode")
# (find-es "emacs" "flycheck")
#####
#
# lsp-mode from git
# 2024jun10
#
#####
# «lsp-mode-git» (to ".lsp-mode-git")
# (find-angg ".emacs" "lean4-mode")
# https://github.com/emacs-lsp/lsp-mode
# https://github.com/emacs-lsp/lsp-mode/blob/master/lsp-mode.el
# (find-git-links "https://github.com/emacs-lsp/lsp-mode" "lspmodegit")
# (code-c-d "lspmodegit" "~/usrc/lsp-mode/")
# (find-lspmodegitfile "")
# (find-lspmodegitfile "docs/page/keybindings.md")
# (find-lspmodegitfile "clients/lsp-lua.el")
# (find-lspmodegitsh "find * | sort")
#####
#
# keybindings
# 2024jun10
#
#####
# «keybindings» (to ".keybindings")
# https://emacs-lsp.github.io/lsp-mode/page/keybindings/#keybindings
# https://github.com/ericdallo
# (find-lspmodegitfile "docs/page/keybindings.md")
# (find-lspmodegitfile "lsp-mode.el" "(defvar lsp-command-map")
# https://github.com/emacs-lsp/lsp-mode/blob/master/lsp-mode.el
# https://github.com/emacs-lsp/lsp-mode/blob/master/lsp-mode.el#L2629 -> describe-session
# (find-elpafile "lsp-mode/lsp-mode.el" "(defvar lsp-command-map")
# (find-eaproposf "lsp.*map")
# (find-eaproposv "lsp.*map")
# (find-hvariable 'lsp-keymap-prefix)
# (find-hvariable 'lsp-mode-map)
# (find-hvariable 'lsp-command-map)
# (find-hvariable 'lsp--virtual-buffer-mappings)
# (find-hvariable 'lsp-browser-mode-map)
# (find-hvariable 'lsp-command-map)
# (find-hvariable 'lsp-help-link-keymap)
# (find-hvariable 'lsp-help-mode-map)
# (find-hvariable 'lsp-keymap-prefix)
# (find-hvariable 'lsp-log-io-mode-map)
# (find-hvariable 'lsp-mode-map)
# (find-hvariable 'lsp-signature-mode-map)
;; (find-ekeymapdescr lsp-command-map)
;; (find-ekeymapdescr lsp-mode-map)
;; (find-ekeymapdescr lsp-mode-map "s-l w d" "lsp-describe-session")
;; (eek "s-l w d")
#####
#
# lean4-lsp
# 2024may26
#
#####
# «lean4-lsp» (to ".lean4-lsp")
# (find-lean4modefile "lean4-mode.el" ":server-id 'lean4-lsp")
# (find-elpafile "lsp-mode/lsp-mode.el")
# (find-elpafile "lsp-mode/lsp-mode.el" "check corresponding stderr buffer for details")
Process lean4-lsp stderr<1> finished
Process lean4-lsp stderr finished
error: toolchain 'leanprover/lean4:v4.7.0' is not installed
error: toolchain 'leanprover/lean4:v4.7.0' is not installed
Process lean4-lsp stderr<2> finished
Process lean4-lsp stderr finished
error: toolchain 'leanprover/lean4:v4.7.0' is not installed
error: toolchain 'leanprover/lean4:v4.7.0' is not installed
Process lean4-lsp stderr<1> finished
Process lean4-lsp stderr finished
# (find-sh "locate lean4-lsp")
#####
#
# Couldn't resolve host name
# 2024may26
#
#####
# «resolve-host-name» (to ".resolve-host-name")
# (find-sh "locate src/elan-utils/src/utils.rs")
# (find-fline "~/usrc/elan/src/elan-utils/src/utils.rs")
thread 'main' panicked at src/elan-utils/src/utils.rs:472:32:
called `Result::unwrap()` on an `Err` value: Error { description: "Couldn't resolve host name", code: 6, extra: Some("Could not resolve host: github.com") }
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
thread 'main' panicked at src/elan-utils/src/utils.rs:472:32:
called `Result::unwrap()` on an `Err` value: Error { description: "Couldn't resolve host name", code: 6, extra: Some("Could not resolve host: github.com") }
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
Process lean4-lsp stderr<1> finished
Process lean4-lsp stderr finished
thread 'main' panicked at src/elan-utils/src/utils.rs:472:32:
called `Result::unwrap()` on an `Err` value: Error { description: "Couldn't resolve host name", code: 6, extra: Some("Could not resolve host: github.com") }
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
thread 'main' panicked at src/elan-utils/src/utils.rs:472:32:
called `Result::unwrap()` on an `Err` value: Error { description: "Couldn't resolve host name", code: 6, extra: Some("Could not resolve host: github.com") }
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
Process lean4-lsp stderr finished
#####
#
# lsp-watch-root-folder
# 2024may28
#
#####
# «lsp-watch-root-folder» (to ".lsp-watch-root-folder")
# https://emacs-lsp.github.io/lsp-mode/page/file-watchers/
lsp-watch-root-folder: Opening directory: Permission denied, /tmp/apt-listchangesxbib_ned
lsp-watch-root-folder: Opening directory: Permission denied, /tmp/apt-listchangesx3q3y2_n
lsp-watch-root-folder: Opening directory: Permission denied, /tmp/apt-listchangeswwh_fnbg
lsp-watch-root-folder: Opening directory: Permission denied, /tmp/systemd-private-abff4a3cfd9c4803b8e9b8a3b9fe8713-phpsessionclean.service-jGZImf
lsp-watch-root-folder: Opening directory: Permission denied, /tmp/systemd-private-abff4a3cfd9c4803b8e9b8a3b9fe8713-phpsessionclean.service-AFR4Hh
lsp-watch-root-folder: Opening directory: Permission denied, /tmp/systemd-private-abff4a3cfd9c4803b8e9b8a3b9fe8713-phpsessionclean.service-xsZV7e
# (find-ebuffer "*lsp-log*")
Creating watchers for following 55 folders:
/tmp
/tmp/.ICE-unix
/tmp/.Test-unix
/tmp/.X11-unix
/tmp/.XIM-unix
/tmp/.com.google.Chrome.0LfCtT
/tmp/.com.google.Chrome.2AzGc2
/tmp/.com.google.Chrome.507Stw
/tmp/.com.google.Chrome.6KTn9Q
/tmp/.com.google.Chrome.77VGAb
/tmp/.com.google.Chrome.8HzzGZ
/tmp/.com.google.Chrome.o6BBFj
/tmp/.font-unix
/tmp/babel-58mh86
/tmp/babel-stable-510
/tmp/docview1000
/tmp/docview1000/2024-ventilador.pdf-622e22ab025f246842f2968aba7f647d
/tmp/docview1000/sshot7.pdf-065b91f4743f44b2718cde574f88d93a
/tmp/eev-g
/tmp/eev-o
/tmp/gimp
/tmp/gimp/2.10
/tmp/gr
/tmp/gr/greeting
/tmp/gr/greeting/Greeting
#####
#
# persist
# 2024jun10
#
#####
# «persist» (to ".persist")
# (find-eaproposf "lsp.*persist")
# (find-eaproposv "lsp.*persist")
# (find-fline "~/.emacs.d/" ".lsp-session-v1")
# (find-fline "~/.emacs.d/.lsp-session-v1")
#####
#
# lsp-session
# 2024jun10
#
#####
# «lsp-session» (to ".lsp-session")
# (find-eaproposf "lsp-session")
# (find-eaproposv "lsp-session")
# (find-evariable 'lsp-session-file)
# (find-evardescr 'lsp-session-file)
# (find-lspmodefile "lsp-mode.el" "(cl-defstruct lsp-session")
# (find-evardescr 'lsp-session-file)
# (find-hvariable 'lsp-session-file)
(find-epp (lsp-session))
(find-eppp (lsp-session-folders (lsp-session)))
(find-estruct (lsp-session))
(lsp-session-folder->servers)
(lsp-session-folder->servers--cmacro)
(lsp-session-folders)
# (find-lspmodegrep "grep --color=auto -nH --null -e make-lsp-session *.el")
#####
#
# %s ==> Import project root %s
# 2024jun07
#
#####
# «import-project-root» (to ".import-project-root")
# (find-efunction 'lsp--find-root-interactively)
# (find-efunction 'lsp--find-root-interactively "%s ==> Import project root %s")
#####
#
# yasnippet
# 2024jun09
#
#####
# «yasnippet» (to ".yasnippet")
# LSP :: Yasnippet is not installed, but `lsp-enable-snippet' is set to `t'. You must either install yasnippet, or disable snippet support.
* (eepitch-shell)
* (eepitch-kill)
* (eepitch-shell)
cd ~/LuaTreeLean/
lake setup-file LT.lean
lake setup-file LT.lean Init Lean
LT.lean 1 1 error `/home/edrx/.elan/toolchains/leanprover--lean4---stable/bin/lake setup-file /home/edrx/LuaTreeLean/LT.lean Init Lean` failed:
stderr:
error: ./lakefile.lean:12:9: error: 'LT' has already been declared
error: ./lakefile.lean: package configuration has errors
Invalid Lake configuration. Please restart the server after fixing the Lake configuration file.
# Local Variables:
# coding: utf-8-unix
# End: