branch: externals/eev
commit 039179dbc2fb032d1b5d0b35a0ea8aacca30f432
Author: Eduardo Ochs <eduardoo...@gmail.com>
Commit: Eduardo Ochs <eduardoo...@gmail.com>
Added more options to (find-dot-emacs-links).
---
ChangeLog | 5 +++++
VERSION | 4 ++--
eev-tlinks.el | 56 ++++++++++++++++++++++++++++++++++++--------------------
3 files changed, 43 insertions(+), 22 deletions(-)
diff --git a/ChangeLog b/ChangeLog
index 2b9dd54be8..e7a9ff25df 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2024-07-18 Eduardo Ochs <eduardoo...@gmail.com>
+
+ * eev-tlinks.el (ee-dot-emacs-melpa, ee-dot-emacs-lean4): new
+ functions.
+
2024-07-17 Eduardo Ochs <eduardoo...@gmail.com>
* eev-tlinks.el (find-dot-emacs-links, ee-dot-emacs-concat)
diff --git a/VERSION b/VERSION
index 80887d86d9..493b1f8821 100644
--- a/VERSION
+++ b/VERSION
@@ -1,2 +1,2 @@
-Thu Jul 18 00:53:31 GMT 2024
-Wed Jul 17 21:53:31 -03 2024
+Thu Jul 18 05:37:47 GMT 2024
+Thu Jul 18 02:37:47 -03 2024
diff --git a/eev-tlinks.el b/eev-tlinks.el
index 5c9550664e..1cfbf0484f 100644
--- a/eev-tlinks.el
+++ b/eev-tlinks.el
@@ -19,7 +19,7 @@
;;
;; Author: Eduardo Ochs <eduardoo...@gmail.com>
;; Maintainer: Eduardo Ochs <eduardoo...@gmail.com>
-;; Version: 20240717
+;; Version: 20240718
;; Keywords: e-scripts
;;
;; Latest version: <http://anggtwu.net/eev-current/eev-tlinks.el>
@@ -3883,6 +3883,7 @@ is nil, use the result of (ee-1stclassvideos)."
`((find-dot-emacs-links ,opts ,@pos-spec-list)
(find-dot-emacs-links "eev angges")
(find-dot-emacs-links "eev angges maxima5470 mfms")
+ (find-dot-emacs-links "eev angges melpa lean4 maxima5470 mfms")
;; Convention: the first sexp always regenerates the buffer.
(find-efunction 'find-dot-emacs-links)
(find-dot-emacs-intro)
@@ -3911,25 +3912,6 @@ is nil, use the result of (ee-1stclassvideos)."
(eev-mode 1) ; (find-eev \"eev-mode.el\")
")
-;; Test: (find-estring-elisp (ee-dot-emacs-mfms))
-(defun ee-dot-emacs-mfms (&rest rest) "\
-;; From: (find-mpv-links)
-;; See: http://anggtwu.net/eev-videos.html#smaller-fullscreen
-;;
-(defun mf ()
- \"Make mpv use (real) full screen.\"
- (interactive)
- (setq ee-mpv-video-options '(\"--fs\" \"--osd-level=2\")))
-;;
-(defun ms ()
- \"Make mpv use a \\\"smaller full screen\\\".\"
- (interactive)
- (setq ee-mpv-video-options
- '(\"--fs\" \"--osd-level=2\"
- \"--video-margin-ratio-bottom=0.15\"
- \"--sub-font-size=35\")))
-")
-
;; Test: (find-estring-elisp (ee-dot-emacs-angges))
(defun ee-dot-emacs-angges (&rest rest) "\
;; From: (find-angg-es-links)
@@ -3941,6 +3923,14 @@ is nil, use the result of (ee-1stclassvideos)."
(apply 'find-wgeta (format \"http://anggtwu.net/e/%s.e\"; fname) rest))
")
+;; Test: (find-estring-elisp (ee-dot-emacs-melpa))
+(defun ee-dot-emacs-melpa (&rest rest) "\
+;; From: (find-melpa-links)
+(require 'package)
+(add-to-list 'package-archives
+ '(\"melpa\" . \"https://melpa.org/packages/\";))
+")
+
;; Test: (find-estring-elisp (ee-dot-emacs-maxima5470))
(defun ee-dot-emacs-maxima5470 (&rest rest) "\
;; From: (find-windows-beginner-intro \"8. Test Maxima with find-wget\")
@@ -3956,6 +3946,32 @@ is nil, use the result of (ee-1stclassvideos)."
(replace-regexp-in-string eepitch-preprocess-regexp \"\" line))
")
+;; Test: (find-estring-elisp (ee-dot-emacs-lean4))
+(defun ee-dot-emacs-lean4 (&rest rest) "\
+;; See: (find-lean4-intro)
+(require 'eev-lean4) ; (find-eev \"eev-lean4.el\")
+(defun el4 () (interactive) (find-eev \"eev-lean4.el\"))
+")
+
+;; Test: (find-estring-elisp (ee-dot-emacs-mfms))
+(defun ee-dot-emacs-mfms (&rest rest) "\
+;; From: (find-mpv-links)
+;; See: http://anggtwu.net/eev-videos.html#smaller-fullscreen
+;;
+(defun mf ()
+ \"Make mpv use (real) full screen.\"
+ (interactive)
+ (setq ee-mpv-video-options '(\"--fs\" \"--osd-level=2\")))
+;;
+(defun ms ()
+ \"Make mpv use a \\\"smaller full screen\\\".\"
+ (interactive)
+ (setq ee-mpv-video-options
+ '(\"--fs\" \"--osd-level=2\"
+ \"--video-margin-ratio-bottom=0.15\"
+ \"--sub-font-size=35\")))
+")
+
;;; _ _
