Commit Graph

405 Commits

Author SHA1 Message Date
Peter J. Holzer e07adc03e9 Merge branch 'master' into wsr 2018-10-26 18:26:38 +02:00
Peter J. Holzer 8ec9ed6f38 Don't set GO* env vars if ~/go exists
~/go is also used as a cache by a system-installed go compiler, and
setting GOROOT messes this up.
2018-10-26 18:24:32 +02:00
Peter J. Holzer 736a315b77 Merge branch 'master' into wsr 2018-09-18 17:27:41 +02:00
Peter J. Holzer 269bb3d7b0 Temporarily set NULL_GLOB to allow non-matching patterns 2018-09-18 17:26:56 +02:00
Peter J. Holzer ea1d758748 Merge branch 'master' into wsr 2018-09-18 17:09:29 +02:00
Peter J. Holzer 8c64f8791c Remove OpenXchange 2018-09-18 17:07:47 +02:00
Peter J. Holzer 7d14bb87c0 Add jdk 1.10, remove 1.6 2018-09-18 17:06:58 +02:00
Peter J. Holzer 472ac6c36f Note that .zprofile isn't sourced in X sessions 2018-09-17 16:51:29 +02:00
Peter J. Holzer f66cecb1d5 Merge branch 'master' into hjp 2018-09-13 21:16:37 +02:00
Peter J. Holzer b07fa21a97 fix preppath invocation 2018-09-13 21:15:57 +02:00
Peter J. Holzer 9b319aef09 Merge branch 'master' into hjp 2018-09-13 21:13:52 +02:00
Peter J. Holzer fa5185f70a Use newest go on debian 2018-09-13 21:13:15 +02:00
Peter J. Holzer 85255f6faf Merge branch 'master' into wsr 2018-07-11 14:35:08 +02:00
Peter J. Holzer cec644d206 Improve contrast of Visual 2018-07-11 14:34:37 +02:00
Peter J. Holzer dcb5c93a12 Merge branch 'master' into wsr 2018-06-29 10:25:07 +02:00
Peter J. Holzer 69a0c2152b Enhance contrast on ErrorMsg 2018-06-29 10:23:23 +02:00
Peter J. Holzer 28bb8178f7 Merge branch 'wsr' of tsimri.wsr.ac.at:dot into wsr 2018-05-24 20:18:36 +02:00
Peter J. Holzer 2a320d5b78 Merge branch 'master' of github.com:hjp/dot
Conflicts:
	.vim/colors/hjp.vim
2018-05-18 14:07:43 +02:00
Peter J. Holzer 2cfc86ebed Enhance contrast for search highlight 2018-05-18 13:59:05 +02:00
Peter J. Holzer ec08011f52 Merge branch 'master' into hjp 2018-05-14 22:08:39 +02:00
Peter J. Holzer 7aa4867288 Make Special darker and lose background
The explicit background is annoying. Use the natural background and make
the fg a bit darker to enhance contrast.
2018-05-14 22:06:58 +02:00
Peter J. Holzer a80519a658 Add 64bit node to path 2018-04-11 12:19:08 +02:00
Peter J. Holzer 937862f7d4 Merge branch 'master' into hjp 2018-04-09 12:09:33 +02:00
Peter J. Holzer d076880470 Order hist strictly by date
By default git tries to keep different branches together, but I find
that more confusing than helpful.
2018-04-09 12:00:22 +02:00
Peter J. Holzer 2a304fdfdf Lowercase dirnames in pd to avoid env variables
This is not foolproof, but most critical environment variables are all
uppercase, so lowercase variables will be mostly safe.
2018-02-07 09:25:24 +01:00
Peter J. Holzer 58208d86e6 Set email address 2018-02-06 23:29:39 +01:00
Peter J. Holzer 3404e96cfb Merge branch 'wsr' 2018-02-06 23:24:36 +01:00
Peter J. Holzer f4637c3153 Remove obsolete software from path 2018-01-31 23:09:13 +01:00
Peter J. Holzer a4588228fc Add node-v8.9.4-linux-x86 to path 2018-01-31 23:04:36 +01:00
Peter J. Holzer 22b388d739 Merge branch 'wsr' of https://github.com/hjp/dot into wsr 2018-01-22 18:41:36 +01:00
Peter J. Holzer 5899e9f365 Set PGHOST to WDS server 2018-01-22 18:40:45 +01:00
Peter J. Holzer 9db9d87419 Merge branch 'wsr' of https://github.com/hjp/dot into wsr
Conflicts:
	.zshenv
2018-01-13 21:45:11 +01:00
Peter J. Holzer 4b965dea85 Set wds PYTHONPATH on oro 2018-01-13 21:41:42 +01:00
Peter J. Holzer a4a0a8a23e Merge branch 'wsr' of tsimri.wsr.ac.at:dot into wsr
Conflicts:
	.gitconfig
2018-01-12 23:40:33 +01:00
Peter J. Holzer bb68db30cd Merge branch 'wsr' of github.com:hjp/dot into wsr 2018-01-12 00:05:34 +01:00
Peter J. Holzer cc05dd833e Merge branch 'wsr' of github.com:hjp/dot into wsr
Conflicts:
	.gitconfig
2018-01-09 14:48:24 +01:00
Peter J. Holzer 15d203b27d Set push.default to current for compatibility 2018-01-09 14:43:19 +01:00
Peter J. Holzer ae60d0d62b Merge branch 'master' of github.com:hjp/dot 2017-12-27 20:20:17 +01:00
Peter J. Holzer b24de605f5 Set highlight color for lightbg 2017-12-27 20:19:54 +01:00
Peter J. Holzer 243d5b2d39 Merge branch 'wsr' of tsimri.wsr.ac.at:dot into wsr 2017-12-15 15:02:44 +01:00
Peter J. Holzer eecf9741fb Remove references to more obsolete hosts 2017-12-14 15:37:14 +01:00
Peter J. Holzer beba1dff3c Remove references to obsolete host teal.hjp.at 2017-12-14 15:32:18 +01:00
Peter J. Holzer edbd930f44 Source /etc/profile.d/*.sh if it exists 2017-12-14 15:28:05 +01:00
Peter J. Holzer 23b275173b Set push.default to current 2017-12-14 13:11:23 +01:00
Peter J. Holzer dfabce5c14 Set push.default to upstream
The default changed from matching to simple in git 2.0, but simple was
only introduced in git 1.7.11, and we have older gits, so I can't just
set it to that. upstream is the closest in functionality, and I think I
don't need the extra security of simple, so I'll just set it
unconditionally to upstream instead of checking the git version.
2017-12-14 12:39:32 +01:00
Peter J. Holzer 57ca79d82d Use install instead of cp
Install aquired a new useful option (-D) since I last looked at it (20
years or so ago), so let's use that.
2017-11-14 16:22:46 +01:00
Peter J. Holzer 5b51d01e7e Add explicit rules for directorys 2017-10-27 21:07:12 +02:00
Peter J. Holzer aeeb4b477d Change StatusLine colors 2017-10-24 10:54:27 +02:00
Peter J. Holzer 402f5b6aad Remove debug output 2017-10-19 14:05:44 +02:00
Peter J. Holzer 4f1d87262b Increase reporttime
Some autocompletions routinely take longer than 1 second and I don't
like seeing timing information in the middle of an autocompletion.
2017-10-19 14:02:23 +02:00