timbophillips

sudo add-apt-repository ppa:snwh/pulp
sudo apt update
sudo apt install gnome-session gnome-tweak-tool arc-theme paper-icon-theme
update-alternatives --set gdm3.css /usr/share/gnome-shell/theme/gnome-shell.css

timbophillips

# Original author: Michalis Georgiou <[email protected]>
# Modified by Andrew http://www.webupd8.org <[email protected]>

_wgeturl="https://github.com/google/fonts/archive/master.tar.gz"
_gf="google-fonts"

# install wget
sudo apt-get install wget

# make sure a file with the same name doesn't already exist

timbophillips

# install from this website
http://docs.couchdb.org/en/latest/install/unix.html#installation-using-the-apache-couchdb-convenience-binary-packages

# add this to apt sources so that libicu55 is available (libicu57 has replaced it in zesty)
deb http://security.ubuntu.com/ubuntu xenial-security main

timbophillips

@echo off

:: this batch file:
:: 1. sets the username, password, and web proxy server in npm, git, and the windows environment.
:: 2. tells nom which version of c++ compiler and where it is

:: constants to set for your system
set npm_location=d:\nodejs\npm.cmd

:: these are just reminders for me and the things I was using on my system when I had this issue

timbophillips

Node.js behind a proxy

Write proxy settings

$ npm config set proxy http://localhost:3128
$ npm config set https-proxy http://localhost:3128

This config is great for SquidMan app.

timbophillips

/*
  load this in the app.module.ts file with these lines:
  import { MaterialModule } from './material/material.module';
  imports: [
    ...,
    ...,
    ...,
    MaterialModule
  ],

timbophillips

<?php

/* this script when called will output the list of files in its folder, minus itself, as JSON */

$files = scandir('./');

$justFilesNoFolders = array_filter($files, function($item) {
    return !is_dir($item);
}
);

timbophillips

<?php echo json_encode(array_slice(scandir('./folder'),2)); ?>

timbophillips

<?php

/*
call this with GET
returns JSON of files in folder
optional arguments:
folder (defaults to current folder)
 */

if (isset($_GET['folder'])) {

timbophillips

<?php

/*
call this with GET
returns JSON of files in folder
optional arguments:
folder (defaults to current folder)
extension (defaults to all files)
 */