(setq jedi:server-args
'("--sys-path" "/usr/lib/python3.6"
"--sys-path" "/home/jerryzhang/.local/lib/python3.6/site-packages"))
работал хорошо, но я хочу использовать $HOME
замену /home/jerryzhang/
для более общего. Так что я думаю, можно использовать expand-file-name
:
(setq jedi:server-args
'("--sys-path" "/usr/lib/python3.6"
"--sys-path" (expand-file-name "~/.local/lib/python3.6/site-packages")))
но это не то, что я думал, похоже, expand-file-name
не выполнить.
извините, я не наклонился, а как истощитель.