ghci config added
This commit is contained in:
parent
dd04ea5367
commit
a6a6102f3e
2 changed files with 3 additions and 0 deletions
2
.ghci
Normal file
2
.ghci
Normal file
|
@ -0,0 +1,2 @@
|
|||
:set prompt "ghci> "
|
||||
|
|
@ -20,6 +20,7 @@ rm -f "~/.zshrc"
|
|||
ln -vfs "$DIR/.zshrc" ~/.
|
||||
ln -vfs "$DIR/.oh-my-zsh" ~/.
|
||||
ln -vfs "$DIR/.Slic3r" ~/.
|
||||
ln -vfs "$DIR/.ghci" ~/.
|
||||
ln -vfs "$DIR/.gitconfig.linux.private" ~/.gitconfig
|
||||
ln -vfs "$DIR/tools" ~/
|
||||
|
||||
|
|
Loading…
Reference in a new issue