Nitheesh Manjunath nitheeshkm

merge private repo to public

The repository for the assignment is public and Github does not allow the creation of private forks for public repositories.

The correct way of creating a private frok by duplicating the repo is documented here.

For this assignment the commands are:

Create a bare clone of the repository. (This is temporary and will be removed so just do it wherever.)

git clone --bare [email protected]:usi-systems/easytrace.git

	ffmpeg -i input_quad_hd.MOV -filter_complex "\
	[0:v]split=4[v1][v2][v3][v4]; \
	[v1]crop=iw/2:ih/2:0:0[v1_crop]; \
	[v2]crop=iw/2:ih/2:ow:0[v2_crop]; \
	[v3]crop=iw/2:ih/2:0:oh[v3_crop]; \
	[v4]crop=iw/2:ih/2:ow:oh[v4_crop]" \
	-map "[v1_crop]" -map "[v2_crop]" -map "[v3_crop]" -map "[v4_crop]" \
	-r 240 -c:v prores_ks -profile:v 3 \
	output_hd_240fps.MOV

	#Source and credits: https://wiki.paparazziuav.org/wiki/Github_manual_for_Ubuntu

	#Setup Github
	When you have a github-account, you may install Github. Before installing Github, you need to set up the ssh keys. This manual will also guide you trough cloning and configurnig with github.

	#Setup the SSH-key
	Open the terminal in Ubuntu.
	Type:

	$cd ~/.ssh

	#!/bin/bash

	if [[ $(nmcli -t -f GENERAL.METERED dev show wlp111s0) = 'GENERAL.METERED:no (guessed)' ]]; then
	wget -O /var/tmp/wallpaper.jpg https://source.unsplash.com/3840x1080/?wallpaper,mars &&
	gsettings set org.gnome.desktop.background picture-uri file:///var/tmp/wallpaper.jpg
	fi

	eog /var/tmp/wallpaper.jpg

	#!/usr/bin/env python

	import signal
	import sys

	def signal_handler(signal, frame):
	sys.exit(0)

	signal.signal(signal.SIGINT, signal_handler)