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== |
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 AWS Console Popup Search | |
// @namespace http://tampermonkey.net/ | |
// @version 0.1 | |
// @description add a search box to the top of long (>10 items) popups in AWS Console, like the CloudFront Distribution List in Reports & Analytics | |
// @author Andrew Allen https://github.com/a2intl | |
// @match https://console.aws.amazon.com/* | |
// @grant none | |
// ==/UserScript== |
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
a rather slightly longer line | |
a spacer line that won't change | |
another spacer line | |
a ridiculously long line in Italian: 'Noi e i nostri fornitori elaboriamo i tuoi dati personali, quali gli indirizzi IP e gli identificatori dei cookie, utilizzando tecnologie quali quelle dei cookie per personalizzare gli annunci e i contenuti in base ai tuoi interessi, misurare le prestazioni di annunci e contenuti e ricavare informazioni sul pubblico che ha visualizzato gli annunci e i contenuti. Fai clic di seguito per acconsentire o scegliere i fornitori che elaboreranno i tuoi dati e per quali finalità. Puoi modificare le tue impostazioni in qualsiasi momento.' | |