srz_zumix srz-zumix
srz-zumix
/ resize_jenkins_editor.js
Created
March 13, 2020 02:50
— forked from a2intl/resize_jenkins_editor.js
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
| // ==UserScript== | |
| // @name Resizeable Jenkins Script Editor | |
| // @namespace http://tampermonkey.net/ | |
| // @version 0.1 | |
| // @description Display pipeline options in wide screen, make script editor resizeable. | |
| // @author Andrew Allen (credit to Victor Toulouse for previous version) | |
| // @match http://jenkins-ci.org | |
| // @grant none | |
| // ==/UserScript== |
srz-zumix
/ git-set-file-times
Last active
May 22, 2023 03:53
— forked from mAster-rAdio/git-set-file-times
merge to https://git.wiki.kernel.org/index.php/ExampleScripts#Setting_the_timestamps_of_the_files_to_the_commit_timestamp_of_the_commit_which_last_touched_them from https://rsync.samba.org/ftp/unpacked/rsync/support/git-set-file-times
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
| #!/usr/bin/perl | |
| use strict; | |
| use warnings; | |
| # sets mtime and atime of files to the latest commit time in git | |
| # | |
| # This is useful for serving static content (managed by git) | |
| # from a cluster of identically configured HTTP servers. HTTP | |
| # clients and content delivery networks can get consistent | |
| # Last-Modified headers no matter which HTTP server in the |