diff options
| author | Egor Tensin <Egor.Tensin@gmail.com> | 2016-07-13 21:19:05 +0300 |
|---|---|---|
| committer | Egor Tensin <Egor.Tensin@gmail.com> | 2016-07-13 21:19:05 +0300 |
| commit | cfcc1c42018176ccd2952965b1824b951892ab57 (patch) | |
| tree | 85b4e7bc45c8798e434daf8635b1098c386e23ae | |
| parent | .minttyrc: more contrast in the color scheme (diff) | |
| download | linux-home-cfcc1c42018176ccd2952965b1824b951892ab57.tar.gz linux-home-cfcc1c42018176ccd2952965b1824b951892ab57.zip | |
add ghci.conf
| -rw-r--r-- | .GHC/ghci.conf | 3 | ||||
| -rw-r--r-- | .bashrc | 23 |
2 files changed, 20 insertions, 6 deletions
diff --git a/.GHC/ghci.conf b/.GHC/ghci.conf new file mode 100644 index 0000000..8e196db --- /dev/null +++ b/.GHC/ghci.conf @@ -0,0 +1,3 @@ +:set prompt "> " +:set prompt2 "" +:seti -w @@ -209,19 +209,30 @@ nwx_host=172.28.10.2 nwx_dev2=172.28.19.60 nwx_dev3=172.28.19.61 -symlink_sublime_preferences() ( +symlink_preferences() ( set -o errexit - local src_dir="$HOME/.Sublime Text 3" - local dest_dir="$APPDATA/Sublime Text 3/Packages/User" - - if [ ! -d "$dest_dir" ]; then - mkdir -p "$dest_dir" + if [ "$#" -ne 2 ]; then + echo "Usage: $FUNCNAME SRC_DIR DEST_DIR" >&2 + return 1 fi + local src_dir="$1" + local dest_dir="$2" + + [ -d "$dest_dir" ] || mkdir -p "$dest_dir" + find "$src_dir" -maxdepth 1 -type f -exec ln --force -s {} "$dest_dir" \; ) +symlink_sublime_preferences() { + symlink_preferences "$HOME/.Sublime Text 3" "$APPDATA/Sublime Text 3/Packages/User" +} + +symlink_ghc_preferences() { + symlink_preferences "$HOME/.GHC" "$APPDATA/ghc" +} + alias list_repo_files='git ls-files -z' list_repo_dirs() ( |