| Listar extensões | |
| Win: | |
| code --list-extensions | % { "code --install-extension $_" } | |
| code --list-extensions > vscode-extensions.list | |
| Linux: | |
| code --list-extensions | xargs -L 1 echo code --install-extension |
This guide is not very thorough because if it was it would be way to long. I am using the musl version of Void Linux for this install, but it's also possible with glibc, but some parts need to changed.
I am not responsible for any actions you take!
This document is licensed under CC BY 4.0.
This tutorial will show how to, step by step, setup Arch Linux Arm and configure Kodi on a Raspberry Pi 3 Model B. Your host computer must be running Linux for this tutorial.
Note
This no longer works in browser! If you absolutely need to use browser instead of desktop app, use an extension to add the string Electron/ anywhere in your user-agent.
Note
This no longer works if you're alone in vc! Somebody else has to join you!
How to use this script:
| var month= ["January","February","March","April","May","June","July", | |
| "August","September","October","November","December"]; | |
| var month = ["Jan", "Feb", "Mar", "Apr", "May", "Jun", "Jul","Aug", "Sep", "Oct", "Nov", "Dec"]; | |
| //used with date.getMonth() |
| // Really trivial. On new writes to the redis db, we push messages to a websocket channel | |
| var sys = require("sys"), redis = require('./lib/redis-client'), ws = require("./lib/ws"); | |
| var pubsub = redis.createClient(); | |
| var clients = new Array(); | |
| ws.createServer(function (websocket) { | |
| websocket.addListener("connect", function (resource) { | |
| sys.debug("connect: " + resource); | |
| client_id = resource.match(/apps\/([A-Za-z]+)\/timeline$/)[1]; |
