dotfiles

My personal dotfiles

commit 49f1b8798e9431b494a91d36c6d3af82b8040e06
parent 7b4a4b63e00586ae7d4b280449c321386c0e0be9
Author: Pablo <pablo-escobar@riseup.net>
Date:   Sat,  1 May 2021 10:32:50 -0300

Updated the aspell config

Added the Lean to PATH

Diffstat:
M.config/aspell/en.prepl | 3---
M.config/aspell/en.pws | 159++++++++++++++++++++++++++++++++++---------------------------------------------
M.config/aspell/pt_BR.prepl | 8++------
M.config/aspell/pt_BR.pws | 11+++++++----
M.local/bin/exports.sh | 2++
5 files changed, 79 insertions(+), 104 deletions(-)
diff --git a/.config/aspell/en.prepl b/.config/aspell/en.prepl
@@ -1,5 +1,4 @@
 personal_repl-1.1 en 0 
-tikztosvg tikzsvg
 togother together
 speces spaces
 missplaced misplaced
@@ -8,7 +7,6 @@ knowloge knowledge
 runned Rundown
 runned rundown
 obtaint obtain
-mathic mathics
 barrior barrier
 sintactic syntactic
 enought enough
@@ -18,7 +16,6 @@ trought through
 colled called
 tipically typically
 troughtout throughout
-beside's Besides
 embassimly embarrassingly
 suger sugar
 specifyed specified
diff --git a/.config/aspell/en.pws b/.config/aspell/en.pws
@@ -1,105 +1,82 @@
 personal_ws-1.1 en 104 
-runtime
-MathML
-functor
-cartesian
-SQLite
-cd
-pytest
-maths
-webserver
-Escobar
-monad
-mmatera
-CLI
-homomorphisms
-dev
-arity
 Asymptote
-enum
-xetex
+Builtins
+CLI
 ChangeLog
-mpmath
+Conda
+Cython
+Django
+EPS
+Erlang
+Escobar
 FreeBSD
-libsqlite
+GADTs
+GPL
+GitLab
+Idris
+Interoperability
 Jupyter
-monads
-setuptools
-natively
-REPL
-coproducts
-asciimath
-toc
-sympy
-SymPy
-evaluator's
-Ok
-Erlang
-mathicsorg
-haskell
-marphism
-Gaviria
-slideOptions
+LaTeX
+Makefile
+MathJax
+MathML
 NES
-stdout
-Pöschk
-GarkGarcia
-svg
-devp
-english
 OCaml
-py
-Readline
-matplotlib
-esc
-EPS
-natlang
-su
-numpy
-WL
+OTP
+Ok
+POSIX
+Prolog
 PyPI
-networkx
-TODO
-dockerhub
-DockerHub
-spacy
-pymathics
-untagged
-Repology
 PyPy
-functors
-Django
-pygments
-docstring
-stdin
-nltk
+REPL
+Readline
+SQLite
+SymPy
+TODO
+WL
+arity
+asciimath
+cartesian
+cd
+codomain
+coproducts
 datatypes
-sudo
-GPL
-llvmlite
-POSIX
-Conda
-LaTeX
-mathics
-struct
-morphism
-Cython
+dev
+docstring
 endofunctor
-upvotes
-Idris
-Builtins
-builtin's
+endofunctors
+english
+enum
+evaluator's
+functor
+functors
+github
+haskell
+homomorphisms
 installable
+libsqlite
+maths
+matplotlib
+monad
+monads
+morphism
 morphisms
+mpmath
+natively
+numpy
 procedurally
-github
-GitLab
-GADTs
-Prolog
-MathJax
-endofunctors
-codomain
-Interoperability
-Makefile
-OTP
-pre
+pytest
+runtime
+setuptools
+slideOptions
+stdin
+stdout
+struct
+sudo
+svg
+sympy
+toc
+untagged
+upvotes
+webserver
+xetex
diff --git a/.config/aspell/pt_BR.prepl b/.config/aspell/pt_BR.prepl
@@ -2,16 +2,12 @@ personal_repl-1.1 pt_BR 0
 ismorfismo isomorfismo
 isoformismo isomorfismo
 depentes dependentes
-cient Científica
 denomos denotemos
 sobrejtor sobrejetora
-caráters Caracteres
-subespaço-vetorial subespaço vetorial
-unidadem unidade e
+caráters caracteres
 sufiente suficiente
 saja seja
 conciderei considerei
 homegênios homogêneos
-concluir-se concluísse
-iniciaciação Iniciação
+iniciaciação iniciação
 supresentação subrepresentação
diff --git a/.config/aspell/pt_BR.pws b/.config/aspell/pt_BR.pws
@@ -1,4 +1,5 @@
-personal_ws-1.1 pt_BR 44 
+personal_ws-1.1 pt_BR 47 
+Dynkin
 aplica-lo
 Weierstrass
 local-para-global
@@ -11,15 +12,15 @@ considerando-se
 preocupa-se
 núcleo-imagem
 DVD
+pretende-se
 Pretende-se
-Etingof
+mostra-se
 não-trivial
 meromorfa
-indutivo-minimal
 não-singular
 Lefschetz
 coordenada-a-coordenada
-ax
+Haar
 triangularizável
 quiver
 Maschke
@@ -35,6 +36,7 @@ omníficos
 COVID
 SD
 Trata-se
+Peter-Weyl
 equipotentes
 Schur
 Nonstandard
@@ -43,3 +45,4 @@ omnífico
 semisimples
 bijeta
 genus
+Cartan
diff --git a/.local/bin/exports.sh b/.local/bin/exports.sh
@@ -42,6 +42,8 @@ export PATH="$PATH:$XDG_DATA_HOME/julia-1.5.3/bin"
 export PATH="$PATH:$XDG_DATA_HOME/fzf/bin" 
 export PATH="$PATH:$HOME/.cabal/bin" 
 export PATH="$PATH:$HOME/.local/share/idris2/bin" 
+export PATH="$PATH:$HOME/.local/share/lean/bin" 
+export PATH="$PATH:$HOME/.local/share/lean/include/lean" 
 
 # Configure the MANPATH variable
 export MANPATH="/usr/share/man"