d52f548201
Merge branch 'master' into wsr
2024-02-01 14:50:50 +01:00
6460b497a9
Override LC_TIME
...
I want a 24 hour clock, so I can't use en_US. However, other locales may
not be installed, so try a few likely candidates ordered by by
readability of the output of date(1).
2024-02-01 14:45:34 +01:00
e2eecd93e3
Merge branch 'master' into wsr
2023-11-21 13:23:53 +01:00
71f5d92587
Make titles white (against a dark background)
...
Not sure why Jinja expressions are rendered as titles. but they are and
anyway black on a dark background isn't very readable.
2023-11-21 13:20:26 +01:00
b3734a861b
Merge branch 'master' into wsr
2023-10-13 10:49:21 +02:00
3edfbf1b48
Set default branch to master
2023-10-13 10:48:19 +02:00
29aaf5ab91
Merge branch 'master' of git.hjp.at:hjp/dot
2023-10-13 10:47:11 +02:00
5b2f09f738
Install and use hjp-dark theme
2023-10-13 10:44:19 +02:00
924e6610ee
Change fg color for Special
2023-10-13 10:43:37 +02:00
d34e84c609
Use .nvm if present
2023-08-08 15:51:24 +02:00
Peter J. Holzer
9db6a30e4a
Remove alias j (jobs) to avoid clash with autojump
2023-08-03 21:32:09 +02:00
Peter J. Holzer
d466fe0733
Merge branch 'master' into wsr
2023-03-05 15:10:51 +01:00
Peter J. Holzer
87a5b91d53
Merge branch 'master' of git.hjp.at:hjp/dot
2023-03-05 15:10:00 +01:00
Peter J. Holzer
0d49086578
Merge branch 'master' into wsr
2023-03-05 15:07:21 +01:00
Peter J. Holzer
1db95b2996
Set pull.rebase to false globally (finally!)
2023-03-05 15:02:50 +01:00
0b316e008c
Add collection of ssh public keys
2022-12-22 16:34:02 +01:00
6cb71fa6cc
Source only readable profiles
...
Newer Ubuntu versions put files only readable by root into
/etc/profile.d
2022-12-22 16:31:21 +01:00
Peter J. Holzer
7615a2b46d
Merge branch 'master' into wsr
2022-09-10 23:06:19 +02:00
a59264e149
Reset to default color (instead of black) before history number in prompt
2022-09-10 18:33:41 +00:00
1b129c74d7
Disable colors for node REPL
2022-06-11 22:09:58 +02:00
6b43dd1992
Disable colors for node REPL
2022-06-09 10:31:38 +02:00
f5eddf9c4e
Merge branch 'master' into wsr
2022-05-05 16:24:50 +02:00
4845459773
Allow - in CSS identifiers
2022-05-05 16:23:39 +02:00
Peter J. Holzer
03c2eba133
Merge branch 'wsr' of git.hjp.at:hjp/dot into wsr
2022-04-23 01:20:27 +02:00
Peter J. Holzer
866eb19d97
Turn off color for history graph
2022-04-23 01:17:48 +02:00
Peter J. Holzer
95d044b882
Make javascript wider
2022-04-23 01:16:24 +02:00
9fad80eac7
Add int.wsr.at to LOCALDOMAIN
2022-03-04 10:43:28 +01:00
e60ba1339e
Merge branch 'wsr'
2021-11-29 14:51:27 +01:00
d2c33cc68e
Make IncSearch more visible
2021-11-29 14:50:36 +01:00
5442e8d7e3
Add shell function locale_en to set English (US) locale
2021-10-16 17:30:36 +02:00
0336cf839d
Merge branch 'master' into wsr
2021-10-08 10:33:00 +02:00
774b4dddc5
Set hls in vim
2021-10-08 10:32:32 +02:00
c5a9c79a87
Add hjp-dark.vim
...
Snapshot. Not sure how useable it really is.
2021-06-10 10:38:14 +02:00
Peter J. Holzer
82421ba308
Merge branch 'master' into wsr
2021-01-29 16:03:45 +01:00
Peter J. Holzer
399e4a00f3
Set default text width for Python to 79
2021-01-29 16:02:37 +01:00
aab3b3ee69
Merge branch 'master' into wsr
2020-11-17 11:25:43 +01:00
47e8255b4d
Default to dark background
2020-11-17 11:24:43 +01:00
Peter J. Holzer
a4490a316d
Merge branch 'wsr' of git.hjp.at:hjp/dot into wsr
2020-11-12 15:18:16 +01:00
Peter J. Holzer
dca188b804
Merge branch 'master' into wsr
2020-11-12 15:18:04 +01:00
Peter J. Holzer
ec477c64f9
Merge branch 'master' of git.hjp.at:hjp/dot
2020-11-12 15:17:29 +01:00
Peter J. Holzer
d87a7a5b0a
Recognize Redmine wiki texts edited with textern.
2020-11-12 15:16:23 +01:00
Peter J. Holzer
a8caa34f9f
Recognise alternate form of Ctrl-E
...
New versions of xterm can apparently send elaborate escape sequences for
modifier-key-combinations (e.g. Ctrl-E) and new versions of vim tell
them to do that. So Ctrl-E may now be just ASCII 0x05 or a long
sequence and we want both to work.
2020-11-12 15:11:57 +01:00
Peter J. Holzer
14dd884ae0
Add subdirecories of ~/bin/hosts to PATH
2020-11-12 15:10:39 +01:00
f9ba74852f
Merge branch 'master' into wsr
2020-10-28 12:28:52 +01:00
14b83d3cfc
Unset all locale env variables referring to non-existent locales
2020-10-28 12:27:35 +01:00
Peter J. Holzer
53e21591cc
Merge branch 'master' into wsr
2020-06-15 09:36:49 +02:00
Peter J. Holzer
2741a2d553
Remove HP-UX specific stuff
...
I don't expect to need that again (almost exactly 4 years after the
funeral)
2020-06-15 00:38:31 +02:00
Peter J. Holzer
a72bbeda6b
Don't set MANPATH
...
All of this looks very obsolete, so I guess it's better to just rely on
man defaults.
2020-04-16 22:33:34 +02:00
Peter J. Holzer
e65664fdf2
Remove (semi)obsolete hostnames
2020-04-16 22:25:27 +02:00
Peter J. Holzer
e8b15ba770
Merge branch 'master' into wsr
2020-04-16 14:39:37 +02:00
Peter J. Holzer
Peter J. Holzer