Posted by jpluimers on 2019/11/20
Your Delphi “licensed to” might be totally different from what it is actually licensed to.
From [WayBack] Hello people, any idea what exactly mean …licensed to test ??? My Delphi is registered with a valid account, subscription, serial number and so on. – Dobrin Petkov – Google+, at least these sources might be used different from the actual licensee name:
–jeroen
Posted in Delphi, Development, Software Development | Leave a Comment »
Posted by jpluimers on 2019/11/20
One day, on a legacy Linux system, logrotate managed to skip some files in the middle of a sequence in /var/log.
Since I didn’t have time to sort out the cause (the system was being phased out), I used this to compress the rest of the log-files (dated in 2017):
sudo -u bash
pushd /var/log
ls | grep -vw xz | grep "\-20......$" | xargs -L 1 ls -alh
After that you can execute this in the same directory:
ls | grep -vw xz | grep "\-20......$" | xargs -L 1 time xz
It skips any xz files and includes only files in the year 2017.
I occasionally tracked progress with this:
ls -alh /var/log/ | grep -v xz | less
That got back a few gigabytes of disk space, just enough to help me migrate the system away.
–jeroen
Posted in *nix, *nix-tools, bash, logrotate, Power User | Leave a Comment »
Posted by jpluimers on 2019/11/20
When working with git, often the brevity of a solution is remarkable. Remembering how it can be so short is the hard part. An explanation why helps, for instance with [WayBack] git tag – How to delete a git remote tag? – Stack Overflow by markdorison.
He explains why you end up with:
git push --delete <origin> <tagname>
Here, <origin> is your remote, and <tagname> the tag to delete.
He explains other ways, which is done by [WayBack] gist.github.com/mobilemind/7883996 as well:
| # delete local tag '12345' | |
| git tag -d 12345 | |
| # delete remote tag '12345' (eg, GitHub version too) | |
| git push origin :refs/tags/12345 | |
| # alternative approach | |
| git push –delete origin tagName | |
| git tag -d tagName |
–jeroen
Posted in Development, DVCS - Distributed Version Control, git, Software Development, Source Code Management | Leave a Comment »
The Wiert Corner - irregular stream of stuff 