This is a compiled list of falsehoods programmers tend to believe about working with time.
Don't re-invent a date time library yourself. If you think you understand everything about time, you're probably doing it wrong.
| remote-control: | |
| control-enable: yes | |
| server: | |
| do-ip6: no | |
| do-ip4: yes | |
| do-udp: yes | |
| tls-cert-bundle: /etc/ssl/certs/ca-certificates.crt | |
| num-threads: 4 | |
| # Enable logs | |
| verbosity: 1 |
| <?php | |
| /** | |
| * The terms | |
| */ | |
| function prefix_the_terms( $post_id, $taxonomy ) { | |
| $term_ids = wp_get_post_terms( $post_id, $taxonomy, array( | |
| 'fields' => 'ids', | |
| ) ); |
| # use ImageMagick convert | |
| # the order is important. the density argument applies to input.pdf and resize and rotate to output.pdf | |
| convert -density 90 input.pdf -rotate 0.5 -attenuate 0.2 +noise Multiplicative -colorspace Gray output.pdf |
As configured in my dotfiles.
start new:
tmux
start new with session name:
These steps show two less common interactions with git to extract a single file which is inside a subfolder from a git repository. These steps essentially reduce the repository to just the desired files and should performed on a copy of the original repository (1.).
First the repository is reduced to just the subfolder containing the files in question using git filter-branch --subdirectory-filter (2.) which is a useful step by itself if just a subfolder needs to be extracted. This step moves the desired files to the top level of the repository.
Finally all remaining files are listed using git ls, the files to keep are removed from that using grep -v and the resulting list is passed to git rm which is invoked by git filter-branch --index-filter (3.). A bit convoluted but it does the trick.