agda

install

Instructions from the cubical library Blogposts of myself: fedora 32 using WSL on windows (install agda from source, usually not what you want to do)

git clone --recurse-submodules https://github.com/agda/agda.git
cd agda
curl -sSL https://get.haskellstack.org/ | sh

or maybe 'stack upgrade' if already installed

stack install

test with 'agda', should return help

problems

hello world

https://agda.readthedocs.io/en/v2.6.2/getting-started/hello-world.html

stack install fails

1. something with ghc

   there are multiple

   stack-VERSION_NUMBER.yaml
   

   files, try a specific one with

   stack install --stack-yaml stack-VERSION_NUMBER.yaml
   

setup ide

these are the two ide's for agda that worked for me.

emacs

find the installed 'agda-mode' and let it write something to .emacs with 'agda-mode setup' you might want to delete trailing whitespaces on save, by adding the following to your '.emacs':

  ;; delete trailing whitespace before saving in agda-mode
(defun agda-mode-delete-whitespace-before-save ()
  (when (eq major-mode 'agda2-mode)
    (delete-trailing-whitespace)))
(add-hook 'before-save-hook #'agda-mode-delete-whitespace-before-save)

vscode (this one is probably the right one for you, if you don't know emacs)

install vscode (it sends data home to Microsoft by default…) install vscode plugin https://marketplace.visualstudio.com/items?itemName=banacorn.agda-mode maybe, you want to tell vscode to kill trailing whitespaces and have exactly one newline at the end of each file by:

• searching settings for 'trim' and checking 'Trim Final Newlines' and 'Trim Trailing Whitespaces'
• searching for 'insertnewline' and checking 'Insert Final Newline'

the default keymap for the mode has a lot of 'Ctrl+X …' in it, which prevented cut and paste from working properly. So I moved all the shortcuts to 'Ctrl+< …' which made 'Ctrl+X' for cutting work again.

docker

momentan enabled

container starten mit konsole

docker run -it IMAGE

image bauen mit NAMEN

docker build -t NAME PFAD_MIT_DOCKERFILE

images

docker image list

fedora

fedora basissystem

pandoc

latex

vergessen, wie man das baut

ssh

ssh-id (für github)

ssh-keygen -t ed25519 -C "EMAIL"

auf centos ssh-agent starten:

eval `ssh-agent`

ssh-add ~/.ssh/id_ed25519

auf github beim grünen 'Code'-Button SSH auswählen und LINK kopiere

git remote add github-ssh LINK

git push --set-upstream github-ssh

alte fingerprints

ssh-keygen -l -f ~/.ssh/known_hosts -E md5

config

Host mein-server
      Hostname felix-cherubini.de
      User felix
      ServerAliveInterval 240

Host mein-server-tunnel
      Hostname felix-cherubini.de
      User felix
      ServerAliveInterval 240

      # Jenkins
      LocalForward localhost:8090 localhost:8090

      # Postgres
      LocalForward localhost:5432 localhost:5432

Host ...s-server
      Hostname ...
      User felix
      ServerAliveInterval 240