diff --git a/.ghci b/.ghci new file mode 100644 index 00000000..6d0f9878 --- /dev/null +++ b/.ghci @@ -0,0 +1,2 @@ +:set prompt "ghci> " + diff --git a/common/configure_fresh_system b/common/configure_fresh_system index 34ee5083..53abe59f 100755 --- a/common/configure_fresh_system +++ b/common/configure_fresh_system @@ -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" ~/