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
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
Peter J. Holzer
a391f81b3d
Move syntax on out of set block
2017-10-19 12:23:16 +02:00
Peter J. Holzer
2903ac6e5b
Allow full name in venv and break after first match
2017-10-19 12:22:22 +02:00
Peter J. Holzer
aa5909ec4c
scrolloffset, incremental search no octal numbers
2017-10-19 12:20:49 +02:00
Peter J. Holzer
64ed1ceb5d
Allow full name in venv and break after first match
2017-10-19 12:13:34 +02:00
Peter J. Holzer
87fd586248
Merge branch 'master' of github.com:hjp/dot
2017-10-16 18:02:03 +02:00
Peter J. Holzer
a24decedd3
scrolloffset, incremental search no octal numbers
2017-09-27 13:32:44 +02:00
Peter J. Holzer
520ed4b064
Make TERM recognition a bit more flexible
2017-09-27 09:48:38 +02:00
Peter J. Holzer
5e59c96b35
Add shell function venv to activate python virtual environment
2017-09-27 09:48:22 +02:00
Peter J. Holzer
8ccf56f58a
Make TERM recognition a bit more flexible
2017-09-27 09:40:53 +02:00
Peter J. Holzer
d9831c2115
Add shell function venv to activate python virtual environment
2017-09-27 09:40:01 +02:00
Peter J. Holzer
6b10b8dba3
Set work email address
2017-08-16 16:36:17 +02:00
Peter J. Holzer
2c1919752e
Store marks, registers, buffers in viminfo, ignore hls
2017-08-16 16:32:08 +02:00
Peter J. Holzer
b5c85c4a29
Merge branch 'master' of hrunkner.hjp.at:dot
2017-03-07 07:15:58 +01:00
hjp
5e00ee68a4
GPL the whole thing
2017-03-05 09:43:40 +01:00
Peter J. Holzer
04bce7c357
Merge .vimrc from mri
2017-02-19 10:20:24 +01:00
Peter J. Holzer
04d2b4e9cd
Install vim config
2017-02-19 10:08:55 +01:00
Peter J. Holzer
3fcd656c78
Add vim config
2017-02-19 09:37:36 +01:00
Peter J. Holzer
72bfcca4f0
Install .gitconfig
2017-02-13 20:27:11 +01:00
Peter J. Holzer
a2a9862c19
Override user.email if necessary
2017-02-13 20:26:02 +01:00
Peter J. Holzer
003391d197
Add .gitconfig
2017-02-13 20:25:22 +01:00