ibrezm1

{
  "terminal.integrated.profiles.windows": {
    "PowerShell": { "source": "PowerShell", "icon": "terminal-powershell" },
    "GitBash": {
      "path": "${env:windir}\\System32\\cmd.exe",
      "args": ["/k","C:\\Tools\\cmder\\vendor\\git-for-windows\\bin\\bash.exe"]
    },
    "Cmder": {
      "path": "${env:windir}\\System32\\cmd.exe",
      "args": ["/k", "C:\\Tools\\cmder\\vendor\\bin\\vscode_init.cmd"]

ofhouse

Install and manage multiple Java versions on Ubuntu

This guide shows per example the installation of the Java SDK versions 8 (LTS, already installed) and 11 (LTS).

1. Check which Java versions are avaialable or already installed

apt --names-only search "openjdk-.*jre$"

> Sorting... Done

chinmaygarde

# Flutter (https://flutter.io) Developement Environment for Linux
# ===============================================================
#
# This environment passes all Linux Flutter Doctor checks and is sufficient
# for building Android applications and running Flutter tests.
#
# To build iOS applications, a Mac development environment is necessary.
#

FROM debian:stretch

sim642

Installing boost libraries for GCC (MinGW) on Windows

Folder setup

1. Extract downloaded boost source, e.g. C:\Program Files\boost_1_59_0.
2. Create a folder for Boost.Build installation, e.g. C:\Program Files\boost-build.
3. Create a folder within for building, i.e. C:\Program Files\boost_1_59_0\build.
4. Create a folder for installation, e.g. C:\Program Files\boost.

GCC setup

1. Open Command Prompt.

gokulkrishh

/* 
  ##Device = Desktops
  ##Screen = 1281px to higher resolution desktops
*/

@media (min-width: 1281px) {
  
  /* CSS */
  

lazyfrost

Configuring mutt to work with gmail and yandex

Information used:

• This Gist by miguelmota
• Christoph Berg's Blog
• Mutt - ArchWiki

So, thanks to authors for ideas and detailed tutorials how to get it working.

robianmcd

var app = angular.module('myApp');
app.run(['$q', '$window', function($q, $window) {
	$window.Promise = function(executor) {
		return $q(executor);
	};

	$window.Promise.all = $q.all.bind($q);
	$window.Promise.reject = $q.reject.bind($q);
	$window.Promise.resolve = $q.when.bind($q);

stuart11n

git branch -m old_branch new_branch         # Rename branch locally    
git push origin :old_branch                 # Delete the old branch    
git push --set-upstream origin new_branch   # Push the new branch, set local branch to track the new remote

miguelmota

How to set up multiple accounts with Mutt E-mail Client

Thanks to this article by Christoph Berg

Instructions

Directories and files

~/

henriquemoody

#!/bin/sh
if [ "root" != "$(whoami)" ]; then
    echo "You must run this command as root" 1>&2
    exit 1
fi

set -x

# Download and extract
if [ ! -z "${1}" ]; then