“Programming isn't about what you know; it's about what you can figure out.”
– Chris Pine (author of Learn to Program)
-
ePages GmbH
- Hamburg, Germany
-
15:16
(UTC +01:00) - https://codepen.io/depoulo/
- https://stackoverflow.com/users/1317451/depoulo
- @depoulo
Pinned Loading
-
CSS-only multi-line ellipsis with ge...
CSS-only multi-line ellipsis with generated content. License: http://www.wtfpl.net/txt/copying/ 1@import "compass/css3/images";
23// CSS-only multi-line ellipsis with generated content
4// yields `position:relative`, so remember to declare an eventual `position:absolute/fixed` *after* including this mixin
5@mixin limitLines(
-
Get random gif from Giphy - might be...
Get random gif from Giphy - might be against their TOS, please check yourself and use reasonably - I use it for our continuos integration status monitor, which of course is almost never red ;) 1// get random image from Giphy
2function getRandomGif($topic = 'fail') {
3$data = file_get_contents("http://giphy.com/search/$topic");
4preg_match_all('@href="/gifs/(.*?)"@', $data, &$matches);
5$gifId = $matches[1][array_rand($matches[1])];
-
MySQL query logging
MySQL query logging 1set global general_log = 1;
2set global log_output = 'table';
3--
4select event_time, substring(argument,1,100) from mysql.general_log where event_time > time('08:58');
5--
-
Add CSS rules quickly from the brows...
Add CSS rules quickly from the browser JS console. Idea taken from http://davidwalsh.name/add-rules-stylesheets 1(() => {
2var style = document.createElement("style");
3style.appendChild(document.createTextNode(""));
4document.head.appendChild(style);
5var rules = prompt('Paste CSS rules here');
-
Create 100kB of random text
Create 100kB of random text 1# Windows (Git bash)
2dd if=/dev/urandom of=tmp bs=100kB count=1 && base64 tmp > big && rm tmp && cat big > /dev/clipboard && rm big
3# Mac OS
4dd if=/dev/urandom of=tmp bs=100kB count=1 && base64 tmp > big && rm tmp && cat big | pbcopy && rm big
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.