Quick
index
main
eev
eepitch
maths
angg
blogme
dednat6
littlelangs
PURO
(C2,C3,C4,
 λ,ES,
 GA,MD,
 Caepro,
 textos,
 Chapa 1)

emacs
lua
(la)tex
maxima
git
lean4
agda
forth
squeak
icon
tcl
tikz
fvwm
debian
irc
contact

Eev for beginners: restructuring the first hour or so

0. The basic map
1. Links to videos
2. Fixing the error "gpg: Can't check signature: No public key"
2.1. Way 1
2.2. Way 2
3. Clicking on the window with the "Install" button doesn't work
4. Without memorizing
4.1. The tool bar and the menu bar
4.2. Open in browser tabs
5. M-j


0. The basic map

Install WSL
    |
    v
wsl --install Debian
    |
    v
sudo apt-get update
sudo apt-get upgrade -y
sudo apt-get install -y emacs
emacs &
    |                    
    v                    
M-x list-packages
(Package Menu:Loading)
(Package Menu)
find eev in the list    --> if on an Emacs28 with a bad GPG key,
install eev             <-- fix that with 2024-no-public-key
    |
    v
M-x eev-beginner
(find-eev-quick-intro "2. Evaluating Lisp")
(find-eev-quick-intro "3. Elisp hyperlinks")
    |
    v
(find-eev-quick-intro "3.1. Non-elisp hyperlinks")
  ^ Problem: this needs Google Chrome...
    ...but at least now the user knows M-e and M-k!


1. Links to videos

Some sections of the tutorials - like this one - have links to videos. Try to click on the timestamps in each of the lines below to understand how these links work in the browser:

(find-eevnavhsubs "06:29" "M-j: you can forget practically everything...")
(find-eevnavvideo "06:29" "M-j: you can forget practically everything...")

Links like those will only work inside Emacs after some things are configured.



2. Fixing the error "gpg: Can't check signature: No public key"

(From this page)

If you're trying to install eev with M-x list-packages but you're getting the error "gpg: Can't check signature: No public key", as in the screenshot below,

then you need to install the new public key and then eev. There are two ways to do that.


2.1. Way 1

If you are a total beginner who is following the instuctions in (find-windows-beginner-intro) and you got this error, you probably installed Ubuntu in WSL instead of installing Debian, and the best solution is to delete your Ubuntu image, install a Debian image, and make Debian the default... the "Way 2" below will mostly work, but some things in later steps will break!!!


2.2. Way 2

Copy and paste the 9-line progn below to an Emacs buffer and then execute it by typing `C-e C-x C-e' in the line with its closing parenthesis:

(progn
  (package-initialize)
  (setq package-check-signature nil)
  (package-refresh-contents)
  (package-install 'gnu-elpa-keyring-update)
  (setq package-check-signature 'allow-unsigned)
  ;;
  (package-install 'eev)
  )

For more explanations, see:

https://www.reddit.com/r/emacs/comments/bn6k1y/updating_gnu_elpa_keys/
(find-es "emacs" "gnu-elpa-keyring-update")
(find-lean4-intro "6. Install lean4-mode")



3. Clicking on the window with the "Install" button doesn't work

(From this page).


These are the initial screens of an Emacs in graphical mode (left) and in terminal mode (right):

And this is what you see in graphical mode (left) and terminal mode (right) when you try to install eev with M-x list-packages:

Initially the cursor is the at the window at the left - but the "Install" button is at the window at the right.

In graphical mode you can switch to the window at the right by clicking on it, and you can press the "Install" button by either clicking on it or by typing RET on it.

In terminal mode Emacs ignores mouse clicks.

If you use Emacs in terminal mode then several things in (find-windows-beginner-intro) won't work, but you can still do a lot if you learn the keys in this section:

(find-emacs-keys-intro "6. Windows")

Remember that you don't need to memorize those keys - you can just keep that page open in a browser tab and consult it when needed.

Going back to our original problem, in Emacs in terminal mode we can't switch to the second window by clicking on it, but we can use `C-x o':

C-x o  -- other-window   (find-enode "Other Window")



4. Without memorizing

Here are some tricks to get by without memorizing key sequences.


4.1. The tool bar and the menu bar

First, learn how to use the menu bar and the tool bar - see this screenshot:


4.2. Open in browser tabs

Second: keep each one of the links below - the links at the `")'s, at the end of each line - open in a different browser tab:

(find-emacs-keys-intro "2. Key sequences and how to abort them")
(find-emacs-keys-intro "3. Cutting & pasting")
(find-emacs-keys-intro "6. Windows")


5. M-j

Third: learn how

You can forget everything except for the three main keys,
  M-e - execute
  M-k - kill
  M-j - jump
...and you can use M-j to remember and re-learn all the rest.
Start by learning how to use the links and key sequences in
the part in blue in 
Learn copy and paste
Learn eepitch
Sudo tee

2024-no-public-key            (DONE)
2024-other-window             (DONE)
2024-first-executable-notes   (TODO)
2024-find-dot-emacs-links     (TODO)