Pedro Braga pedrohenriquebr

## pretty_print.css
body { font-family: monospace; font-size: 1.1em; }

ul { margin: 0 0 0 .2em; list-style: none; }
  li { padding: 0; margin: 0;}
  li:after { content: ','; }
  li:last-child:after { content: ''; }

span.object { font-weight: bold; }

span.string, span.string a { color: green; }

## post_install.sh
#!/bin/bash

curl_check ()
{
  echo "Checking for curl..."
  if command -v curl > /dev/null; then
    echo "Detected curl..."
  else
    echo "Installing curl..."
    apt-get install -q -y curl

## install.sh
#!/usr/bin/env bash
setup_scripts=(
  postactivate-env-setup
  predeactivate-env-cleanup
)

target_scripts=(
  postactivate
  predeactivate
)

## sp
#!/usr/bin/env bash

#
# This is sp, the command-line Spotify controller. It talks to a running
# instance of the Spotify Linux client over dbus, providing an interface not
# unlike mpc.
#
# Put differently, it allows you to control Spotify without leaving the comfort
# of your command line, and without a custom client or Premium subscription.
#

## redshift.conf
; Global settings
[redshift]
temp-day=6500K
temp-night=5000
transition=1
;gamma=0.8:0.7:0.8
gamma=1.000:1.000:1.000
location-provider=geoclue
;location-provider=manual
adjustment-method=vidmode
	body { font-family: monospace; font-size: 1.1em; }

	ul { margin: 0 0 0 .2em; list-style: none; }
	li { padding: 0; margin: 0;}
	li:after { content: ','; }
	li:last-child:after { content: ''; }

	span.object { font-weight: bold; }

	span.string, span.string a { color: green; }
	#!/bin/bash

	curl_check ()
	{
	echo "Checking for curl..."
	if command -v curl > /dev/null; then
	echo "Detected curl..."
	else
	echo "Installing curl..."
	apt-get install -q -y curl
	#!/usr/bin/env bash
	setup_scripts=(
	postactivate-env-setup
	predeactivate-env-cleanup
	)

	target_scripts=(
	postactivate
	predeactivate
	)
	#!/usr/bin/env bash

	#
	# This is sp, the command-line Spotify controller. It talks to a running
	# instance of the Spotify Linux client over dbus, providing an interface not
	# unlike mpc.
	#
	# Put differently, it allows you to control Spotify without leaving the comfort
	# of your command line, and without a custom client or Premium subscription.
	#
	; Global settings
	[redshift]
	temp-day=6500K
	temp-night=5000
	transition=1
	;gamma=0.8:0.7:0.8
	gamma=1.000:1.000:1.000
	location-provider=geoclue
	;location-provider=manual
	adjustment-method=vidmode