Based on the excellent Solarized (Dark) created by Ethan Schoonover. For source code, check the main Solarized repository on GitHub.
Open and save Solarized Dark.terminal.
Import from the “Profiles” tab in the settings of Terminal.app or just double-click the file after downloading.
| // Place your key bindings in this file to overwrite the defaults | |
| [ | |
| { | |
| "key": "ctrl+shift+k", | |
| "command": "editor.action.deleteLines", | |
| "when": "editorTextFocus && !editorReadonly" | |
| }, | |
| { | |
| "key": "shift+cmd+k", | |
| "command": "-editor.action.deleteLines", |
| // Place your settings in this file to overwrite the default settings | |
| { | |
| "editor.fontFamily": "Source Code Pro", | |
| "editor.fontSize": 14, | |
| "editor.renderWhitespace": "all", | |
| "editor.renderIndentGuides": false, | |
| "editor.selectionHighlight": false, | |
| "files.insertFinalNewline": true, | |
| "workbench.colorTheme": "Solarized Dark", | |
| "workbench.iconTheme": "vs-minimal", |
| (function(doc, body) { | |
| const main = doc.querySelector('main').parentNode.removeChild(doc.querySelector('main')); | |
| while (body.firstChild) body.removeChild(body.firstChild); | |
| body.appendChild(main) | |
| }(document, document.body)); |
| (function() { | |
| window.addEventListener( 'load', function() { | |
| var links = Array.prototype.slice.call( document.querySelectorAll( 'link[title]') ); | |
| var uniqueTitles = links.reduce( function( titles, link ) { | |
| if ( titles.indexOf( link.title ) === -1 ) { | |
| titles.push( link.title ); | |
| } | |
| return titles; | |
| }, []); | |
| var title = window.sessionStorage && window.sessionStorage.getItem( 'title' ) || ''; |
| (function() { | |
| const links = Array.from( document.querySelectorAll( 'link[title]' ) ); | |
| const styles = Array.from( new Set( links.map( link => link.title ) ) ); | |
| let title = localStorage.getItem( 'title' ); | |
| function selectStyle( title ) { | |
| links.forEach( link => { | |
| link.disabled = true; | |
| link.disabled = link.title !== title; | |
| }); |
| const camelCase = str => str.split( /[_,-]+/ ).map( ( item, index ) => index === 0 ? item : item.charAt(0).toUpperCase() + item.slice(1).toLowerCase() | |
| ).join(''); |
| if ( 'document' in self ) { | |
| // Full polyfill for browsers with no classList support | |
| // Including IE < Edge missing SVGElement.classList | |
| if ( !( 'classList' in document.createElement( '_' ) ) | |
| || document.createElementNS && !( 'classList' in document.createElementNS( 'http://www.w3.org/2000/svg', 'g' ) ) ) { | |
| ( function( view ) { | |
| 'use strict'; | |
| var DOMEx; |
| --- | |
| linters: | |
| BangFormat: | |
| space_before_bang: true | |
| space_after_bang: false | |
| BemDepth: | |
| enabled: false | |
| BorderZero: | |
| enabled: true | |
| convention: none |
| function isInteractiveElement( element ) { | |
| if ( [ 'A', 'BUTTON', 'DETAILS', 'EMBED', 'IFRAME', 'KEYGEN', 'LABEL', 'SELECT', 'TEXTAREA' ].indexOf( element.nodeName ) !== -1 ) { | |
| return true; | |
| } | |
| if ( element.nodeName === 'INPUT' && element.type !== 'hidden' ) { | |
| return true; | |
| } | |
| if ( ['AUDIO', 'VIDEO'].indexOf( element.nodeName ) > -1 && element.hasAttribute('controls') ) { | |
| return true; | |
| } |
