| From Japan | |
| → http HEAD https://farm3.staticflickr.com/2502/3962240223_d9aec47123_o.jpg | |
| HTTP/1.1 200 OK | |
| Accept-Ranges: bytes | |
| Age: 2147588 | |
| Cache-Control: max-age=315360000,public | |
| Connection: keep-alive | |
| Content-Length: 3004684 | |
| Content-Type: text/plain; charset=utf-8 |
| http -b GET "https://bugzilla.mozilla.org/rest/bug?include_fields=url,status&component=Desktop&product=Tech%20Evangelism" > bugzilla-urls-desktop.txt | |
| http -b GET "https://bugzilla.mozilla.org/rest/bug?include_fields=url,status&component=Mobile&product=Tech%20Evangelism" > bugzilla-urls-mobile.txt | |
| We get a JSON file that we can clean up to get only the domain names. |
| javascript: | |
| l=document.location; | |
| if(l.origin==='https://github.com'){ | |
| githubPathname=l.pathname; | |
| pathArray=githubPathname.split('/'); | |
| webcompatLocation='https://webcompat.com/'+pathArray[3]+'/'+pathArray[4]; | |
| document.location.href=webcompatLocation; | |
| } | |
| else{ | |
| alert('not%20github%20here'); |
Exploration for understanding what is the best way to manage routing in Flask in terms of performance, maintainability, use cases.
Started with a question on stackoverflow.
Flask allows for redirect. It helps for managing operational redirects. But I haven't found any elegant way to manage URI persistence (aka the fabric of time) on a long term.
from flask import redirect
@app.route('/shiny')
| <li> | |
| <span class="state state-closed">Closed</span> | |
| <span class="num">#153</span> | |
| <a href="/webcompat/web-bugs/issues/153" class="title">www.ovoid.org - WebGL demo redirects to error page</a> | |
| <time datetime="2015-01-12T07:17:52Z" is="relative-time">Jan 12, 2015</time> | |
| </li> |
This was actually used in a Website for detecting android version. The site has other delicacies I'm not sure what surprises me more. The fact it has been used like this or the fact that parseFloat is working.
What are the things that could be addressed at Paris Web 2015? 10th anniversary. I will add little by little what comes to my mind.
Sometimes sites are broken. There is WebCompat.com for helping to record, but what are the techniques for finding the right contacts? Learn how to find contacts on Web site. What is working, not working, maximize the chances to get the issue fixed. It's not 100% bullets proof, but it helps a lot to be more effective.
| var env = { | |
| uagent: navigator.userAgent.toLowerCase(), | |
| isWebkit: false, | |
| isiPhone: false, | |
| isiPad: false, | |
| isAndroid: false, | |
| isAndroidCromeMobile: false, | |
| isBlackberry: false, | |
| isWindowsPhone: false, | |
| isTouchpad: false, |
| 200 1 | |
| 200 2 | |
| 200 3 | |
| 200 4 | |
| 200 5 | |
| 200 6 | |
| 200 7 | |
| 200 8 | |
| 200 9 | |
| 200 10 |