This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
(defadvice Man-quit(after maybe-close-frame activate) | |
"`delete-frame-on-man-quit' is defined by an external script which | |
launches an emacs frame for a specific man page. After being launched, | |
this allows the `Man-quit' function to close the frame." | |
(if delete-frame-on-man-quit | |
(delete-frame))) |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{ | |
"cells": [ | |
{ | |
"cell_type": "code", | |
"execution_count": 11, | |
"metadata": { | |
"collapsed": true | |
}, | |
"outputs": [], | |
"source": [ |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
deb http://packages.dotdeb.org/ wheezy all | |
deb-src http://packages.dotdeb.org/ wheezy all | |
deb http://packages.dotdeb.org wheezy-php56 all | |
deb-src http://packages.dotdeb.org wheezy-php56 all | |
sudo apt-get update && sudo apt-get dist-upgrade && sudo apt-get install php5-memcached |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
FROM girder/girder | |
RUN mkdir /assetstore | |
RUN git clone https://github.com/memex-explorer/image_space.git | |
RUN girder-install plugin -s image_space/imagespace | |
RUN girder-install plugin -s image_space/imagespace_smqtk | |
RUN npm install --only=prod --unsafe-perm |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
-----BEGIN PGP MESSAGE----- | |
Version: GnuPG v1 | |
jA0EBwMCsmmDGekDeeJg0kABAXwhsbxI0DhlIzVBiMOz238EnhsaMbDcPTjgIoey | |
1XOyA7+62owWVGh3LCpCob3gYCdpOUHcpSbGhzA7MSzz | |
=bIky | |
-----END PGP MESSAGE----- |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
filesSelected: function (files) { | |
if (_.size(files)) { | |
this.newItemName = _.first(files).name; | |
this.newItemExt = _.last(this.newItemName.split('.')); | |
this.newItemType = _.first(files).type; | |
} | |
} |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
+ - name: hacky hack | |
+ sudo: yes | |
+ pip: name=setuptools extra_args='-U' |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
➜ girder git:(master) grunt watch | |
Found plugin: celery_jobs | |
Found plugin: geospatial | |
Found plugin: google_analytics | |
Found plugin: gravatar | |
Found plugin: hdfs_assetstore | |
Found plugin: jobs | |
Found plugin: jquery_widgets | |
Found plugin: metadata_extractor | |
Found plugin: minerva |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<head> | |
<script charset="UTF-8" src="/built/geo.ext.min.js"></script> | |
<script charset="UTF-8" src="/built/geo.js"></script> | |
<style> | |
html, body, #map { | |
margin: 0; | |
width: 100%; | |
height: 100%; | |
overflow: hidden; |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
(require 'openwith) | |
(openwith-mode t) | |
(setq openwith-associations '(("\\.\\(avi\\|wmv\\|mpg\\|mp3\\|mp4\\|flv\\)\\'" "mpv" (file)))) |