aboutsummaryrefslogtreecommitdiffstatshomepage
diff options
context:
space:
mode:
authorEgor Tensin <Egor.Tensin@gmail.com>2016-07-13 21:19:05 +0300
committerEgor Tensin <Egor.Tensin@gmail.com>2016-07-13 21:19:05 +0300
commitcfcc1c42018176ccd2952965b1824b951892ab57 (patch)
tree85b4e7bc45c8798e434daf8635b1098c386e23ae
parent.minttyrc: more contrast in the color scheme (diff)
downloadlinux-home-cfcc1c42018176ccd2952965b1824b951892ab57.tar.gz
linux-home-cfcc1c42018176ccd2952965b1824b951892ab57.zip
add ghci.conf
-rw-r--r--.GHC/ghci.conf3
-rw-r--r--.bashrc23
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
diff --git a/.bashrc b/.bashrc
index 2ee97e5..b359b24 100644
--- a/.bashrc
+++ b/.bashrc
@@ -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() (