10 2020
$ sudo dpkg -i Minecraft.deb
Exec=env https_proxy=http://proxy:8080 env http_proxy=http://proxy:8080 /opt/minecraft-launcher/minecraft-launcher
update: 2020/10/27 23:08 | path: /pub/software/game
;;; browse-urlで使用するブラウザの指定 (setq browse-url-browser-function 'browse-url-generic browse-url-generic-program "google-chrome") ;;; キーバインド指定 (bind-key "C-c b" 'my-browse-url) ;;; リージョン指定したURLをブラウザで開く (defun my-browse-url () "Open url with browser." (interactive) (if (use-region-p) (let ((string (replace-regexp-in-string "\\([^\n]\\)\n\\([^\n]\\)" "\\1\\2" (replace-regexp-in-string " " "" (buffer-substring-no-properties (region-beginning) (region-end)) )) )) (deactivate-mark) (browse-url string) ) (let ((string (read-string "Browse URL: "))) (browse-url string) ) ))また、google meet等への参加URLの場合もあり、google-chromeで開くように指定する。
;;; browse-urlで使用するブラウザの指定 (setq browse-url-browser-function 'browse-url-generic browse-url-generic-program "google-chrome")
update: 2020/10/21 09:55 | path: /pub/software/emacs
update: 2020/10/21 08:56 | path: /pub/misc
update: 2020/10/12 11:44 | path: /pub/software/game
extensions = [ 'sphinxcontrib.httpdomain', ]"make html"を実行すると。
$ make html Running Sphinx v1.8.4 loading translations [ja]... done Extension error: Could not import extension sphinxcontrib.httpdomain (exception: No module named 'sphinxcontrib') make: *** [Makefile:19: html] エラー 2なになに?sphinxcontrib が無い?何故だ?
import sys print sys.path"make html"を実行すると。
$ make html Running Sphinx v1.8.4 ['/usr/share/sphinx/scripts/python3', '/usr/lib/python37.zip', '/usr/lib/python3.7', '/usr/lib/python3.7/lib-dynload', '/usr/local/lib/python3.7/dist-packages', '/usr/lib/python3/dist-packages'] loading translations [ja]... done Extension error: Could not import extension sphinxcontrib.httpdomain (exception: No module named 'sphinxcontrib') make: *** [Makefile:19: html] エラー 2おっと?python3.7用が動いている...。
$ ls -l /etc/alternatives| grep sphinx lrwxrwxrwx 1 root root 47 10月 2 15:26 sphinx-apidoc -> /usr/share/sphinx/scripts/python3/sphinx-apidoc lrwxrwxrwx 1 root root 48 10月 2 15:26 sphinx-autogen -> /usr/share/sphinx/scripts/python3/sphinx-autogen lrwxrwxrwx 1 root root 46 10月 2 15:40 sphinx-build -> /usr/share/sphinx/scripts/python3/sphinx-build lrwxrwxrwx 1 root root 51 10月 2 15:26 sphinx-quickstart -> /usr/share/sphinx/scripts/python3/sphinx-quickstart...なぜ、python3になってるのかな...。
$ sudo update-alternatives --config sphinx-build $ sudo update-alternatives --config sphinx-quickstart $ sudo update-alternatives --config sphinx-apidoc $ sudo update-alternatives --config sphinx-autogen無事、httpdomainが使えました。
update: 2020/10/02 15:50 | path: /pub/software/sphinx