danilkuznetsov

#!/bin/sh

# Firefox Developer Edition install
# No need to download this script, just run it on your terminal:
#  $  curl -L git.io/firefoxdev | sh
# When you need to update Firefox Developer Edition, run this script again.

START_CMD="firefox-dev"
INSTALLATION_DIR="/opt/${START_CMD}"

danilkuznetsov

new Date().toISOString().slice(0,10); 

danilkuznetsov

CALL CSVWRITE('/home/<user>/downloads/<table_name>'.csv',  'SELECT * FROM <table_name>',  'charset=UTF-8 fieldSeparator=;');

Without field delimiter " 
CALL CSVWRITE('/home/<user>/downloads/<table_name>'.csv',  'SELECT * FROM <table_name>',  'charset=UTF-8 fieldSeparator=; fieldDelimiter=');

danilkuznetsov

#!/usr/bin/env python
import glob
import os
from captionstransformer.sbv import Reader
from captionstransformer.srt import Writer

for source_filename in glob.glob('*.sbv'):
    	print source_filename
	r = open(source_filename)
	reader = Reader(r)

danilkuznetsov

#!/bin/sh

DOCKER_CONTAINER_NAME="container name"
SOURCE_DATA_FOLDER="<path to source files>"
TEMP_FOLDER="/tmp/<folder_name>/"
BACKUP_STORAGE="<path to storage backup files>"

ARCHIVE_FILE_NAME=edx-mysql-$(date +%Y%m%d).tgz

echo "... Starting:"

danilkuznetsov

Locate the section for your github remote in the .git/config file. It looks like this:

[remote "origin"]
	fetch = +refs/heads/*:refs/remotes/origin/*
	url = git@github.com:joyent/node.git

Now add the line fetch = +refs/pull/*/head:refs/remotes/origin/pr/* to this section. Obviously, change the github url to match your project's URL. It ends up looking like this:

danilkuznetsov

package com.tutorial.collections;
 
import java.util.Arrays;
import java.util.Iterator;
import java.util.List;
 
/**
* Created by danil.kuznetsov 
*/
public class ListExample {

danilkuznetsov

JAVA_HOME=$(readlink -f /usr/bin/java | sed "s:/jre/bin/java::") 
JRE_HOME=$JAVA_HOME/jre
export JAVA_HOME JRE_HOME

danilkuznetsov

UPDATE mysql.user SET host = '%' WHERE host = 'localhost' AND user != 'root';
UPDATE mysql.db SET host = '%' WHERE host = 'localhost' AND user != 'root';
FLUSH PRIVILEGES;

danilkuznetsov

sudo sed -i "s/mirrors\.digitalocean/archive.ubuntu/g" /etc/apt/sources.list