Brainstormer59 brainstormer59
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| // GOURCE | |
| gource -1280x720 --max-files 99999 --disable-progress --stop-at-end -s 0.25 --user-scale 1.5 --highlight-all-users --output-ppm-stream ~/Desktop/export.ppm | |
| // FFMPEG (convert to video) | |
| ffmpeg -f image2pipe -i ~/Desktop/export.ppm -an -pass 1 -vcodec libx264 -vb 50M ~/Desktop/git.mp4 |
brainstormer59
/ facetwp_date_range_in_single_calendar.php
Last active
November 18, 2022 08:45
This snippet for the wordpress facetwp plugin is used to group the two facets (start and end) generated by the date_range facet when "Fields to show" is set to "Start + End Dates".
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| <?php | |
| add_action( 'wp_footer', 'facetwp_date_range_in_single_calendar',100); | |
| function facetwp_date_range_in_single_calendar() { | |
| ?> | |
| <script> | |
| (function($) { | |
| if ( 'undefined' !== typeof FWP ) { | |
| FWP.hooks.addFilter('facetwp/set_options/date_range', function(flatpickr_opts, extras) { |