From c02b5d1c427b4a203eef65e2f05d1e3faa066fbb Mon Sep 17 00:00:00 2001 From: Charles Date: Fri, 6 Sep 2019 15:09:46 +0200 Subject: added ghci and gdb config files --- .gdbinit | 1 + .ghci | 1 + .zshrc | 2 +- Makefile | 12 +++++++++++- 4 files changed, 14 insertions(+), 2 deletions(-) create mode 100644 .gdbinit create mode 100644 .ghci diff --git a/.gdbinit b/.gdbinit new file mode 100644 index 0000000..9422460 --- /dev/null +++ b/.gdbinit @@ -0,0 +1 @@ +set disassembly-flavor intel diff --git a/.ghci b/.ghci new file mode 100644 index 0000000..ec73138 --- /dev/null +++ b/.ghci @@ -0,0 +1 @@ +:set prompt λ> diff --git a/.zshrc b/.zshrc index ffe90cc..a102960 100644 --- a/.zshrc +++ b/.zshrc @@ -14,7 +14,7 @@ bindkey -v setopt auto_cd setopt pushd_ignore_dups setopt list_rows_first -set extendedglob +setopt extendedglob # alias expansion bindkey "^ " _expand_alias # ctrl+space to expand diff --git a/Makefile b/Makefile index 1550bc4..2dfe73d 100644 --- a/Makefile +++ b/Makefile @@ -5,8 +5,10 @@ TMUXCONF = .tmux.conf BASHRC = .bashrc BASHALIAS = .bash_aliases PROFILE = .profile +GHCI = .ghci +GDB = .gdbinit CONFFILES = $(HOME)/$(ZSHRC) $(HOME)/$(VIMRC) $(HOME)/$(TMUXCONF) $(HOME)/$(BASHRC) \ - $(HOME)/$(BASHALIAS) $(HOME)/$(PROFILE) + $(HOME)/$(BASHALIAS) $(HOME)/$(PROFILE) $(HOME)/$(GHCI) $(HOME)/$(GDB) .PHONY: all all: $(CONFFILES) @@ -35,6 +37,14 @@ $(HOME)/$(PROFILE): $(DOTDIR)/$(PROFILE) touch $@ echo "source $<" > $@ +$(HOME)/$(GHCI): $(DOTDIR)/$(GHCI) + touch $@ + cat $< > $@ + +$(HOME)/$(GDB): $(DOTDIR)/$(GDB) + touch $@ + cat $< > $@ + .PHONY: clean clean: rm -f $(CONFFILES) -- cgit