[elpa] externals/eev fb9877bc92: New intro: (find-try-sly-intro).

[ELPA Syncer]

branch: externals/eev
commit fb9877bc9293fce9b08713dd969297a0a419e143
Author: Eduardo Ochs <eduardoochs@gmail.com>
Commit: Eduardo Ochs <eduardoochs@gmail.com>

    New intro: (find-try-sly-intro).
---
 ChangeLog         |  23 ++++++
 VERSION           |   4 +-
 eev-intro.el      | 221 ++++++++++++++++++++++++++++++++++++++++++++++++++----
 eev-plinks.el     |  33 +++++++-
 eev-rstdoc.el     |   7 +-
 eev-tlinks.el     |  13 +++-
 eev-videolinks.el |  22 +++++-
 7 files changed, 299 insertions(+), 24 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index a265c41508..40ec52fa6f 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,26 @@
+2024-09-04  Eduardo Ochs  <eduardoochs@gmail.com>
+
+       * eev-tlinks.el (ee-dot-emacs-sly): new function.
+
+2024-09-01  Eduardo Ochs  <eduardoochs@gmail.com>
+
+       * eev-plinks.el (find-clhsdoci, ee-clhs-lookup-index): new
+       functions.
+
+       * eev-rstdoc.el (ee-rstdoc-default-defuns): added `:clhs'.
+
+       * eev-intro.el (find-try-sly-intro): new function.
+
+       * eev-tlinks.el (find-try-sly-links): point to
+       `find-try-sly-intro'.
+
+       * eev-plinks.el (find-wget-org): new function.
+
+2024-08-18  Eduardo Ochs  <eduardoochs@gmail.com>
+
+       * eev-videolinks.el (ee-1stclassvideos-info): new video:
+       "2024lean4of0a2".
+
 2024-08-11  Eduardo Ochs  <eduardoochs@gmail.com>
 
        * eev-edit.el (ee-copy-this-line-to-kill-ring): fixed a bug/typo -
diff --git a/VERSION b/VERSION
index 99b69fe32d..daaa9d41a3 100644
--- a/VERSION
+++ b/VERSION
@@ -1,2 +1,2 @@
-Mon Aug 12 01:00:49 GMT 2024
-Sun Aug 11 22:00:49 -03 2024
+Wed Sep  4 08:04:37 GMT 2024
+Wed Sep  4 05:04:37 -03 2024
diff --git a/eev-intro.el b/eev-intro.el
index bb8c8ab635..c937d1120e 100644
--- a/eev-intro.el
+++ b/eev-intro.el
@@ -19,7 +19,7 @@
 ;;
 ;; Author:     Eduardo Ochs <eduardoochs@gmail.com>
 ;; Maintainer: Eduardo Ochs <eduardoochs@gmail.com>
-;; Version:    20240810
+;; Version:    20240904
 ;; Keywords:   e-scripts
 ;;
 ;; Latest version: <http://anggtwu.net/eev-current/eev-intro.el>
@@ -105,6 +105,7 @@
 ;; «.find-dot-emacs-intro»             (to "find-dot-emacs-intro")
 ;; «.find-debootstrap-intro»           (to "find-debootstrap-intro")
 ;; «.find-lean4-intro»                 (to "find-lean4-intro")
+;; «.find-try-sly-intro»               (to "find-try-sly-intro")
 
 ;; Videos:
 ;; «.find-three-main-keys-intro»       (to "find-three-main-keys-intro")
@@ -1479,7 +1480,7 @@ all the index anchors together. For an example, see:
 One way to type the chars `«' and `»' is with `C-x 8 <' and
 `C-x 8 >'. Try:
 
-  (eek \"RET C-x 8 < t a g C-x 8 >\")
+  (eek \"RET C-x 8 < t a g C-x 8 > <up>\")
 
 
 
@@ -3119,18 +3120,16 @@ These ones explain advanced features that require extra 
setup:
   39. (find-lua-tutorial-intro)
   40. (find-debootstrap-intro)
   41. (find-lean4-intro)
-  42. (find-prepared-intro)
-  43. (find-bounded-intro)
-  44. (find-channels-intro)
-
-This one was used in a video:
-
-  45. (find-three-main-keys-intro)
+  42. (find-try-sly-intro)
+  43. (find-prepared-intro)
+  44. (find-bounded-intro)
+  45. (find-channels-intro)
 
 These ones are obsolete:
 
   46. (find-emacs-intro)
-  47. (find-defun-intro)
+  47. (find-three-main-keys-intro)
+  48. (find-defun-intro)
 
 For an index of the videos, run:
 
@@ -18139,11 +18138,204 @@ Here is the link:
 
   (find-es \"lean\" \"Std.Format\")
 
+" pos-spec-list)))
+
+;; (find-lean4-intro)
+
+
+
+
+;;;  _                        _       
+;;; | |_ _ __ _   _       ___| |_   _ 
+;;; | __| '__| | | |_____/ __| | | | |
+;;; | |_| |  | |_| |_____\__ \ | |_| |
+;;;  \__|_|   \__, |     |___/_|\__, |
+;;;           |___/             |___/ 
+;;
+;; «find-try-sly-intro»  (to ".find-try-sly-intro")
+;; Skel: (find-intro-links "try-sly")
+;; Test: (find-try-sly-intro)
+
+(defun find-try-sly-intro (&rest pos-spec-list) (interactive)
+  (let ((ee-buffer-name "*(find-try-sly-intro)*"))
+    (apply 'find-eintro "\
+\(Re)generate: (find-try-sly-intro)
+Source code:  (find-efunction 'find-try-sly-intro)
+More intros:  (find-eev-quick-intro)
+              (find-eev-intro)
+              (find-eepitch-intro)
+This buffer is _temporary_ and _editable_.
+It is meant as both a tutorial and a sandbox.
+
+Prerequisites:
+  (find-windows-beginner-intro \"7. Test Maxima\")
+and a Maxima compiled with SBCL. The Maxima in Debian uses GCL, that is
+not supported by quicklisp...
+
+This is a PARTIAL rewrite of:
+  (find-try-sly-links)
+
+At some point in the future this intro will show how to install Sly on
+Debian and how to use it with Maxima - but this is in a very preliminary
+stage...
+
+
+
+
+1. Install the Common Lisp Hyperspec
+====================================
+Run this with <f8>s:
+
+ (eepitch-shell)
+ (eepitch-kill)
+ (eepitch-shell)
+  sudo apt-get install -y hyperspec
+
+Note that the package \"hyperspec\" will install
+a local copy of the CLHS here:
+
+  (find-fline \"/usr/share/doc/hyperspec/\")
+
+The low-level way to point to pages of the CLHS is with `find-clhsdoc'.
+The easiest way to define the function `find-clhsdoc' is by running
+`ee-rstdoc-default-defuns'. Try:
+
+  ;; See: (find-rstdoc-intro \"0. Preparation\")
+  (ee-rstdoc-default-defuns)
+
+Then this should open the contents page of the local copy of the CLHS:
+
+  (find-clhsdoc \"Front/Contents\")
+
+
+
+
+2. Install some elisp packages
+==============================
+Here we use low-level sexps instead of `M-x list-packages'.
+Note that some of the sexps below take several seconds to run.
+
+(progn
+  (package-initialize)
+  (add-to-list 'package-archives
+    '(\"melpa\" . \"https://melpa.org/packages/\";))
+  (package-refresh-contents)
+  (package-install 'sly)
+  (package-install 'clhs)
+  )
+
+The high-level way to point to pages of the CLHS is with
+`find-clhsdoci'. Try:
+
+  ;; See: (find-eev \"eev-plinks.el\" \"find-clhsdoci\")
+  (find-clhsdoci \"car\")
+
+
+
+
+3. Adjust your ~/.emacs
+=======================
+Now add these sexps to your ~/.emacs:
+
+  (code-c-d \"sly\" (ee-locate-library \"sly.el\") \"sly\")
+  (code-c-d \"ql\" \"~/quicklisp/\")
+
+The best way to do that is with:
+
+  (find-dot-emacs-links \"sly\")
+
+
+
+
+
+4. Download quicklisp.lisp
+==========================
+Quicklisp is a package manager for Common Lisp. See:
+
+  https://beta.quicklisp.org/
+
+ To delete a previous installation, do:
+
+ (eepitch-shell)
+ (eepitch-kill)
+ (eepitch-shell)
+  ls -lAF $S/https/beta.quicklisp.org/quicklisp*
+  rm -Rfv $S/https/beta.quicklisp.org/quicklisp*
+  ls -lAF ~/quicklisp/
+  rm -Rfv ~/quicklisp/
+
+ Then download the Quicklisp installer with:
+
+ (eepitch-shell)
+ (eepitch-kill)
+ (eepitch-shell)
+  mkdir -p $S/https/beta.quicklisp.org/
+  cd       $S/https/beta.quicklisp.org/
+  ls -lAF
+  wget -N https://beta.quicklisp.org/quicklisp.lisp
+  # (find-fline \"$S/https/beta.quicklisp.org/\")
+  # (find-fline \"$S/https/beta.quicklisp.org/quicklisp.lisp\")
+
+
+
+5. Install Quicklisp and Slynk
+==============================
+See:
+
+  https://joaotavora.github.io/sly/
+  https://joaotavora.github.io/sly/#Connecting-to-a-remote-Lisp
+  (find-slynode \"Connecting to a remote Lisp\")
+
+ Install Quicklisp
+ (eepitch-shell)
+ (eepitch-kill)
+ (eepitch-shell)
+cd $S/https/beta.quicklisp.org/
+sbcl --load quicklisp.lisp
+  (quicklisp-quickstart:help)
+  (quicklisp-quickstart:install)
+  (exit)
+
+ Install Slynk
+ (eepitch-sbcl)
+ (eepitch-kill)
+ (eepitch-sbcl)
+  (load #P\"~/quicklisp/setup.lisp\")
+  (ql:quickload :slynk)
+  (exit)
+
+ Make SBCL load Quicklisp by default.
+ This is optional!
+ (eepitch-sbcl)
+ (eepitch-kill)
+ (eepitch-sbcl)
+  (load #P\"~/quicklisp/setup.lisp\")
+  (ql-impl-util::write-init-forms t)  ; write the init block to stdout
+  (ql:add-to-init-file)               ; write the init block to ~/.sbclrc
+
+  (exit)
+
+
+
+Etc
+===
+
+  ;; Inspect the ~/quicklisp/ directory:
+  ;;   (find-qlfile \"\")
+  ;;   (find-qlsh \"find * | sort\")
+
+ (eepitch-sbcl)
+ (eepitch-kill)
+ (eepitch-sbcl)
+  (load #P\"~/quicklisp/setup.lisp\")
+  (ql:quickload :slynk)
+
 
 
 " pos-spec-list)))
 
-;; (find-lean4-intro)
+;; (find-try-sly-intro)
+
 
 
 
@@ -18160,10 +18352,9 @@ Here is the link:
 ;; Skel: (find-intro-links "three-main-keys")
 ;; (find-three-main-keys-intro)
 
-;; Used in this video:
-;; http://anggtwu.net/index.html#eev-three-main-keys
-;; A version in English in coming soon!
-
+;; Obsolete! Superseded by:
+;;   http://anggtwu.net/eepitch.html#trying-it
+;;
 (defun find-three-main-keys-intro (&rest pos-spec-list) (interactive)
   (let ((ee-buffer-name "*(find-three-main-keys-intro)*"))
     (apply 'find-eintro "\
diff --git a/eev-plinks.el b/eev-plinks.el
index c0e26176c9..2c77abb44c 100644
--- a/eev-plinks.el
+++ b/eev-plinks.el
@@ -1,6 +1,6 @@
 ;;; eev-plinks.el -- elisp hyperlinks to invoke external processes.  -*- 
lexical-binding: nil; -*-
 
-;; Copyright (C) 2012-2023 Free Software Foundation, Inc.
+;; Copyright (C) 2012-2024 Free Software Foundation, Inc.
 ;;
 ;; This file is part of GNU eev.
 ;;
@@ -19,7 +19,7 @@
 ;;
 ;; Author:     Eduardo Ochs <eduardoochs@gmail.com>
 ;; Maintainer: Eduardo Ochs <eduardoochs@gmail.com>
-;; Version:    20240507
+;; Version:    20240901
 ;; Keywords:   e-scripts
 ;;
 ;; Latest version: <http://anggtwu.net/eev-current/eev-plinks.el>
@@ -125,6 +125,7 @@
 ;; «.find-lynx»                        (to "find-lynx")
 ;; «.find-lgrep»               (to "find-lgrep")
 ;; «.find-efunctionlgrep»      (to "find-efunctionlgrep")
+;; «.find-clhsdoci»            (to "find-clhsdoci")
 
 
 
@@ -426,6 +427,12 @@ block."
   (emacs-lisp-mode)
   (apply 'ee-goto-position pos-spec-list))
 
+(defun find-wget-org (url &rest pos-spec-list)
+  "Like `find-wget-elisp', but puts the output buffer in org-mode."
+  (find-wget url)
+  (org-mode)
+  (apply 'ee-goto-position pos-spec-list))
+
 (defun find-wgeta (url &rest pos-spec-list)
   "Like `find-wget', but uses `ee-goto-anchor'."
   (find-wget url)
@@ -641,6 +648,28 @@ See: (find-strange-functions-intro)"
 
 
 
+;; «find-clhsdoci»  (to ".find-clhsdoci")
+;; Needs: (find-try-sly-intro "1. Install the Common Lisp Hyperspec")
+;;        (find-try-sly-intro "2. Install some elisp packages")
+;;   Try: (ee-clhs-lookup-index "car")
+;;        (find-clhsdoci        "car")
+;;
+(defun find-clhsdoci (clhsname &rest rest)
+  "Open the page of the Common Lisp Hyperspec corresponding to CLHSNAME.
+This function uses `ee-clhs-lookup-index' and `find-clhsdoc'."
+  (let* ((str0 (ee-clhs-lookup-index clhsname))
+        (str (replace-regexp-in-string "\\.html?$" "" str0)))
+    (find-clhsdoc str)))
+
+(defun ee-clhs-lookup-index (clhsname)
+  "Use the hash table (clhs-symbols) to convert CLHSNAME to (part of) a URL.
+This is an internal function used by `find-clhsdoci'."
+  (require 'clhs)
+  (gethash (upcase clhsname) (clhs-symbols)))
+
+
+
+
 
 (provide 'eev-plinks)
 
diff --git a/eev-rstdoc.el b/eev-rstdoc.el
index d5327566d0..5a3cb21587 100644
--- a/eev-rstdoc.el
+++ b/eev-rstdoc.el
@@ -19,7 +19,7 @@
 ;;
 ;; Author:     Eduardo Ochs <eduardoochs@gmail.com>
 ;; Maintainer: Eduardo Ochs <eduardoochs@gmail.com>
-;; Version:    20240731
+;; Version:    20240901
 ;; Keywords:   e-scripts
 ;;
 ;; Latest version: <http://anggtwu.net/eev-current/eev-rstdoc.el>
@@ -568,9 +568,11 @@ to shorten the rstdoc of FNAME.\"
 
 
 ;; «default-defuns»  (to ".default-defuns")
+;; See: (find-rstdoc-intro "0. Preparation")
 ;; Try: (find-code-rstdoc :py)
 ;;      (find-code-rstdoc :sympy)
 ;;      (find-code-rstdoc :mpl)
+;;      (find-code-rstdoc :clhs)
 ;;
 ;; This is mostly for tests.
 ;; Most people will prefer to define their own variables -
@@ -581,7 +583,8 @@ to shorten the rstdoc of FNAME.\"
   (interactive)
   (code-rstdoc :py)
   (code-rstdoc :sympy)
-  (code-rstdoc :mpl))
+  (code-rstdoc :mpl)
+  (code-rstdoc :clhs))
 
 
 
diff --git a/eev-tlinks.el b/eev-tlinks.el
index 4e533424d9..1359cc0d94 100644
--- a/eev-tlinks.el
+++ b/eev-tlinks.el
@@ -19,7 +19,7 @@
 ;;
 ;; Author:     Eduardo Ochs <eduardoochs@gmail.com>
 ;; Maintainer: Eduardo Ochs <eduardoochs@gmail.com>
-;; Version:    20240811
+;; Version:    20240904
 ;; Keywords:   e-scripts
 ;;
 ;; Latest version: <http://anggtwu.net/eev-current/eev-tlinks.el>
@@ -4051,6 +4051,13 @@ is nil, use the result of (ee-1stclassvideos)."
          \"--sub-font-size=35\")))
 ")
 
+;; Test: (find-estring-elisp (ee-dot-emacs-sly))
+(defun ee-dot-emacs-sly (&rest rest) "\
+;; See: (find-try-sly-intro \"3. Adjust your ~/.emacs\")
+(code-c-d \"sly\" (ee-locate-library \"sly.el\") \"sly\")
+(code-c-d \"ql\" \"~/quicklisp/\")
+")
+
 
 
 ;;;            _       _          
@@ -4644,6 +4651,10 @@ N should be either a number or a symbol; SEXP should be 
a sexp."
      ;; Convention: the first sexp always regenerates the buffer.
      (find-efunction 'find-try-sly-links)
      ""
+     "# Obsolete! Superseded by:"
+     (find-try-sly-intro)
+     ""
+     ""
      ,(ee-template0 (ee-adjust-red-stars "\
  1. Install some Debian packages
  ===============================
diff --git a/eev-videolinks.el b/eev-videolinks.el
index 44e1d951d3..d516c578e9 100644
--- a/eev-videolinks.el
+++ b/eev-videolinks.el
@@ -19,7 +19,7 @@
 ;;
 ;; Author:     Eduardo Ochs <eduardoochs@gmail.com>
 ;; Maintainer: Eduardo Ochs <eduardoochs@gmail.com>
-;; Version:    20240807
+;; Version:    20240818
 ;; Keywords:   e-scripts
 ;;
 ;; Latest version: <http://anggtwu.net/eev-current/eev-videolinks.el>
@@ -75,6 +75,7 @@
 ;;   «.2024git»                                (to "2024git")
 ;;   «.2024luaso»                      (to "2024luaso")
 ;;   «.2024lean4of0»                   (to "2024lean4of0")
+;;   «.2024lean4of0a2»                 (to "2024lean4of0a2")
 ;;   «.2024algpergs»                   (to "2024algpergs")
 ;;   «.2024convite»                    (to "2024convite")
 ;; «.ee-1stclassvideos-field»          (to "ee-1stclassvideos-field")
@@ -847,6 +848,22 @@ of the videos and play them with mpv. Compare with
      :index   t
      :comment "A video in Portuguese about a workshop on Lean4.")
     ;;
+    ;; «2024lean4of0a2»  (to ".2024lean4of0a2")
+    ;; Play: (find-2024lean4of0a2video "0:00")
+    ;; Index: (find-1stclassvideoindex "2024lean4of0a2")
+    ("2024lean4of0a2"
+     :title "Oficina de Lean4 - versão 0 - aula 2"
+     :mp4   "http://anggtwu.net/eev-videos/2024-lean4-oficina-0-aula-2.mp4";
+     :yt    "http://www.youtube.com/watch?v=MXUJ8YLp5dU";
+     :page  "http://anggtwu.net/2024-lean4-oficina-0-aula-2.html";
+     :hsubs "http://anggtwu.net/2024-lean4-oficina-0-aula-2.html#00:00";
+     :lang  "portuguese"
+     :date    "2024aug09"
+     :length  "29:53"
+     :subs    ".vtt"
+     :index   t
+     :comment "A video in Portuguese about a workshop on Lean4.")
+    ;;
     ;; «2024algpergs»  (to ".2024algpergs")
     ;; Play: (find-2024algpergsvideo "0:00")
     ;; Index: (find-1stclassvideoindex "2024algpergs")
@@ -875,7 +892,8 @@ of the videos and play them with mpv. Compare with
      :date    "2024aug06"
      :length  "20:22"
      :subs    ".vtt"
-     :comment "COMMENT")
+     :index   t
+     :comment "An invitation to (run) Maxima (from eev). In Portuguese.")
     ))