My user configuration files
Go to file
Leni Ven 6e4967dc58 Lean4 and EIN stub 2023-02-15 17:08:52 -08:00
bin Add ocaml image and move all images to images/ 2021-02-21 13:07:00 -05:00
home Lean4 and EIN stub 2023-02-15 17:08:52 -08:00
images Switch to PyTorch lightning in jupyter hub 2022-11-06 23:52:55 -08:00
.gitignore Do not load packages in non-graphical vim, update spacemacs 2022-05-07 14:59:27 -04:00
.gitmodules Change symlink scheme and add vim-amino as submodule 2021-01-03 02:45:58 -05:00
README.md Add doomemacs setting 2023-01-27 23:14:41 -08:00
setup-home.sh Add doomemacs setting 2023-01-27 23:14:41 -08:00

README.md

Configurations and Setups

Common configuration files for:

  • Vim
  • Emacs
  • Docker images
  • Fish shell

Home Directory

Execute setup-home.sh to create symbolic links. Note that macOS users will need to install coreutils to provide the grealpath utility.

Emacs

There are configurations for Spacemacs and Doomemacs. For spacemacs,

cp home/spacemacs/spacemacs.el ~/.spacemacs
git clone https://github.com/syl20bnr/spacemacs ~/.emacs.d

Note that .spacemacs has to be copied due to it having its own metadata. Moreover, the common repository has to reside in ~common.

To install Doomemacs,

git clone https://github.com/hlissner/doom-emacs ~/.emacs.d
ln -s ~/common/home/doomemacs ~/.doom.d
~/.emacs.d/bin/doom sync
~/.emacs.d/bin/doom env
emacs --batch -f all-the-icons-install-fonts

Bin

The bin/ folder contains dockerised scripts. They should be symbolically linked into /usr/local/bin via symlinks-bin.sh, which has to be executed as root.

Docker Images

  • hub-jupyter and hub-jupyter-spark are images based on CUDA docker images for jupyter. To use them with GPU, add the following to /etc/docker/daemon.json and restart the docker daemon:
    ...
    "runtimes": {
        "nvidia": {
            "path": "/usr/bin/nvidia-container-runtime",
            "runtimeArgs": []
        }
    }
  • latex docker contains tools for compiling latex. It is usually not used
  • due to the stability of latex.
  • route docker is used to setup a socks5 proxy server using ssh.