diff options
| -rw-r--r-- | .gdbinit | 1 | ||||
| -rw-r--r-- | .ghci | 1 | ||||
| -rw-r--r-- | .zshrc | 2 | ||||
| -rw-r--r-- | Makefile | 12 |
4 files changed, 14 insertions, 2 deletions
diff --git a/.gdbinit b/.gdbinit new file mode 100644 index 0000000..9422460 --- /dev/null +++ b/.gdbinit @@ -0,0 +1 @@ +set disassembly-flavor intel @@ -0,0 +1 @@ +:set prompt λ> @@ -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 @@ -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) |