[elpa] externals/eev 1c150c07f8: New videos: "2024trywithasexp" and "2024bashtest".

[ELPA Syncer]

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

    New videos: "2024trywithasexp" and "2024bashtest".
---
 ChangeLog         | 12 ++++++++++++
 VERSION           |  4 ++--
 eev-tlinks.el     | 36 ++++++++++++++++++++++++++++++------
 eev-videolinks.el | 36 ++++++++++++++++++++++++++++++++++--
 4 files changed, 78 insertions(+), 10 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 8636f9d7cf..9e34ece1df 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,15 @@
+2024-12-02  Eduardo Ochs  <eduardoochs@gmail.com>
+
+       * eev-tlinks.el (ee-tryit-body): added some entries for Lean.
+
+       * eev-videolinks.el (ee-1stclassvideos-info): new video, with
+       subtitles: "2024bashtest".
+
+2024-12-01  Eduardo Ochs  <eduardoochs@gmail.com>
+
+       * eev-videolinks.el (ee-1stclassvideos-info): new video, with
+       subtitles: "2024trywithasexp".
+
 2024-11-29  Eduardo Ochs  <eduardoochs@gmail.com>
 
        * eev-tlinks.el (find-tryit-links): new function.
diff --git a/VERSION b/VERSION
index 5555deddd4..beee5c0199 100644
--- a/VERSION
+++ b/VERSION
@@ -1,2 +1,2 @@
-Fri Nov 29 12:40:31 GMT 2024
-Fri Nov 29 09:40:31 -03 2024
+Mon Dec  2 04:42:30 GMT 2024
+Mon Dec  2 01:42:30 -03 2024
diff --git a/eev-tlinks.el b/eev-tlinks.el
index 8c54367abb..bb6e06822b 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:    20241129
+;; Version:    20241202
 ;; Keywords:   e-scripts
 ;;
 ;; Latest version: <http://anggtwu.net/eev-current/eev-tlinks.el>
@@ -6290,15 +6290,19 @@ git clone {giturl} .
 ;;
 ;; «find-tryit-links»  (to ".find-tryit-links")
 ;; See: http://anggtwu.net/2024-find-tryit-links.html
+;;      (find-lean4-intro "6. Install lean4-mode")
 ;;
 (defvar ee-tryit-compact nil
   "When this is non-nil `ee-tryit-progn' produces a single-line sexp.")
 (defvar ee-tryit-config  ""
-  "Used by `ee-tryit-progn'.")
+  "See `ee-tryit-body'.")
 
 ;; (find-tryit-links)
 ;; (find-tryit-links "e 1e")
 ;; (find-tryit-links "e 1e" '((foo) (bar)))
+;; (find-tryit-links "ikeb")
+;; (find-tryit-links "ikeb" '((find-eev-quick-intro "2. Evaluating Lisp")))
+;;
 (defun find-tryit-links (&optional configs sexps &rest pos-spec-list)
 "Visit a temporary buffer containing hyperlinks for tryit."
   (interactive (list nil (ee-tryit-read-sexps)))
@@ -6308,14 +6312,16 @@ git clone {giturl} .
      'find-elinks-elisp
      `((find-tryit-links ,configs ',sexps)
        (find-tryit-links "irue 1irue" ',sexps)
-       (find-tryit-links "_ 1" ',sexps)
-       (find-tryit-links "s S" ',sexps)
-       (find-tryit-links "s S s1 S1" ',sexps)
-       ;; Convention: the first sexps always regenerates the buffer.
+       (find-tryit-links "ikeb" ',sexps)
+       (find-tryit-links "<SE>b" ',sexps)
+       (find-tryit-links "<SG>b" ',sexps)
+       (find-tryit-links "m<LI><2M><LSM><LP>" ',sexps)
+       (find-efunction 'ee-tryit-body)
        (find-efunction 'find-tryit-links)
        ""
        ,(ee-template0 "\
 ;; See: http://anggtwu.net/2024-find-tryit-links.html
+;;      (find-1stclassvideo-links \"2024trywithasexp\")
 ;;      https://bpa.st/
 
 {body}
@@ -6387,6 +6393,24 @@ git clone {giturl} .
    (ee-tryit-if "<SG>" '(straight-use-package
                         '(eev :type git :host github :repo "edrx/eev")))
    (ee-tryit-if "b" '(eev-beginner))
+   ;;
+   ;; For Lean.
+   ;; See: (find-lean4-intro "6. Install lean4-mode")
+   (ee-tryit-if "<LI>" ";; See: (find-lean4-intro \"6. Install lean4-mode\")")
+   (ee-tryit-if "<2M>" '(find-2a nil '(find-ebuffer "*Messages*")))
+   (ee-tryit-if "<LSM>"
+     ";; 
https://emacs.stackexchange.com/questions/80871/how-to-provide-updated-seq-package-to-magit";
+     '(setq package-install-upgrade-built-in t)
+     '(package-install 'compat)
+     '(package-install 'seq)
+     '(progn (unload-feature 'seq t) (require 'seq))
+     '(package-install 'magit))
+   (ee-tryit-if "<LP>" 
+     '(package-install 'company)
+     '(package-install 'dash)
+     '(package-install 'flycheck)
+     '(package-install 'lsp-mode)
+     '(package-install 'magit-section))
    ))
 
 ;; (ee-tryit-progn "1ire")
diff --git a/eev-videolinks.el b/eev-videolinks.el
index 397cf564f6..bb05caf09e 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:    20241110
+;; Version:    20241202
 ;; Keywords:   e-scripts
 ;;
 ;; Latest version: <http://anggtwu.net/eev-current/eev-videolinks.el>
@@ -79,6 +79,8 @@
 ;;   «.2024algpergs»                   (to "2024algpergs")
 ;;   «.2024convite»                    (to "2024convite")
 ;;   «.2024butler»                     (to "2024butler")
+;;   «.2024trywithasexp»               (to "2024trywithasexp")
+;;   «.2024bashtest»                   (to "2024bashtest")
 ;; «.ee-1stclassvideos-field»          (to "ee-1stclassvideos-field")
 ;; «.second-class-videos»              (to "second-class-videos")
 ;;   «.code-eevvideo»                  (to "code-eevvideo")
@@ -905,10 +907,40 @@ of the videos and play them with mpv. Compare with
      :yt    "http://www.youtube.com/watch?v=zUW-6atPvUQ";
      :page  "http://anggtwu.net/2024-philosophy-tube-butler.html";
      :hsubs "http://anggtwu.net/2024-philosophy-tube-butler.html#0:00";
-     :date    "2024may17",
+     :date    "2024may17"
      :length  "1:15:09"
      :subs    ".vtt"
      :comment "See: http://anggtwu.net/emacsconf2024.html#butler";)
+    ;;
+    ;; «2024trywithasexp»  (to ".2024trywithasexp")
+    ;; Play: (find-2024trywithasexpvideo "0:00")
+    ;; Subs: (find-2024trywithasexphsubs "0:00")
+    ;;       (find-2024trywithasexplsubs "0:00")
+    ("2024trywithasexp"
+     :title "Trying eev with a sexp (2024)"
+     :mp4   "http://anggtwu.net/eev-videos/2024-trying-eev-with-a-sexp.mp4";
+     :yt    "http://www.youtube.com/watch?v=BzovupjRhQM";
+     :page  "http://anggtwu.net/2024-find-tryit-links.html";
+     :hsubs "http://anggtwu.net/2024-trying-eev-with-a-sexp.html#0:00";
+     :date    "2024dec01"
+     :length  "3:56"
+     :subs    ".vtt"
+     :comment "A way to install and try eev very quickly.")
+    ;;
+    ;; «2024bashtest»  (to ".2024bashtest")
+    ;; Play: (find-2024bashtestvideo "0:00")
+    ;; Subs: (find-2024trywithasexphsubs "0:00")
+    ;;       (find-2024trywithasexplsubs "0:00")
+    ("2024bashtest"
+     :title "An example of a bash script with test blocks (2024)"
+     :mp4   "http://anggtwu.net/eev-videos/2024-bash-test-blocks.mp4";
+     :yt    "http://www.youtube.com/watch?v=hok5wH4XBYg";
+     :page  "http://anggtwu.net/2024-bash-test-blocks.html";
+     :hsubs "http://anggtwu.net/2024-bash-test-blocks.html#0:00";
+     :date    "2024dec01"
+     :length  "7:12"
+     :subs    ".vtt"
+     :comment "An introduction to test blocks to people who are afraid of 
them.")
     ))