be1d96969b
Add .psqlrc
2019-04-08 15:11:36 +02:00
Peter J. Holzer
f62c624bef
Merge branch 'master' into hjp
2018-11-28 19:45:48 +01:00
e07adc03e9
Merge branch 'master' into wsr
2018-10-26 18:26:38 +02:00
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
736a315b77
Merge branch 'master' into wsr
2018-09-18 17:27:41 +02:00
269bb3d7b0
Temporarily set NULL_GLOB to allow non-matching patterns
2018-09-18 17:26:56 +02:00
ea1d758748
Merge branch 'master' into wsr
2018-09-18 17:09:29 +02:00
8c64f8791c
Remove OpenXchange
2018-09-18 17:07:47 +02:00
7d14bb87c0
Add jdk 1.10, remove 1.6
2018-09-18 17:06:58 +02:00
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
85255f6faf
Merge branch 'master' into wsr
2018-07-11 14:35:08 +02:00
cec644d206
Improve contrast of Visual
2018-07-11 14:34:37 +02:00
dcb5c93a12
Merge branch 'master' into wsr
2018-06-29 10:25:07 +02:00
69a0c2152b
Enhance contrast on ErrorMsg
2018-06-29 10:23:23 +02:00
28bb8178f7
Merge branch 'wsr' of tsimri.wsr.ac.at:dot into wsr
2018-05-24 20:18:36 +02:00
2a320d5b78
Merge branch 'master' of github.com:hjp/dot
...
Conflicts:
.vim/colors/hjp.vim
2018-05-18 14:07:43 +02:00
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
a80519a658
Add 64bit node to path
2018-04-11 12:19:08 +02:00
937862f7d4
Merge branch 'master' into hjp
2018-04-09 12:09:33 +02:00
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
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
22b388d739
Merge branch 'wsr' of https://github.com/hjp/dot into wsr
2018-01-22 18:41:36 +01:00
5899e9f365
Set PGHOST to WDS server
2018-01-22 18:40:45 +01:00
9db9d87419
Merge branch 'wsr' of https://github.com/hjp/dot into wsr
...
Conflicts:
.zshenv
2018-01-13 21:45:11 +01:00
4b965dea85
Set wds PYTHONPATH on oro
2018-01-13 21:41:42 +01:00
a4a0a8a23e
Merge branch 'wsr' of tsimri.wsr.ac.at:dot into wsr
...
Conflicts:
.gitconfig
2018-01-12 23:40:33 +01:00
bb68db30cd
Merge branch 'wsr' of github.com:hjp/dot into wsr
2018-01-12 00:05:34 +01:00
cc05dd833e
Merge branch 'wsr' of github.com:hjp/dot into wsr
...
Conflicts:
.gitconfig
2018-01-09 14:48:24 +01:00
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
243d5b2d39
Merge branch 'wsr' of tsimri.wsr.ac.at:dot into wsr
2017-12-15 15:02:44 +01:00
eecf9741fb
Remove references to more obsolete hosts
2017-12-14 15:37:14 +01:00
beba1dff3c
Remove references to obsolete host teal.hjp.at
2017-12-14 15:32:18 +01:00
edbd930f44
Source /etc/profile.d/*.sh if it exists
2017-12-14 15:28:05 +01:00
23b275173b
Set push.default to current
2017-12-14 13:11:23 +01:00
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
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
5b51d01e7e
Add explicit rules for directorys
2017-10-27 21:07:12 +02:00
aeeb4b477d
Change StatusLine colors
2017-10-24 10:54:27 +02:00
Peter J. Holzer
Peter J. Holzer
Peter J. Holzer