agrawal-d

#! /usr/bin/python3
import os
import argparse
from time import sleep

PATH = '/sys/bus/usb/devices/'

def reset_device(key, value, coerce, sleep_time):
    for device_dir, dirs, files in os.walk(PATH, followlinks=True):
        if device_dir != PATH:

agrawal-d

Google Summer Of Code 2020 - Zulip

Spending the summer working on Zulip, specifically Zulip Mobile, has been an amazing and enriching experience for me! I am very thankful to my mentors for guiding through the process of contributing to the project. In this document, I describe the contributions that I made to zulip-mobile during the summer.

What I worked on

A significant portion of my work was to add user-facing features to Zulip's React Native app. The

agrawal-d

set nocompatible
syntax on
set number
set ruler
colorscheme one
set autoindent
set hlsearch " enable search highlighting
set wrap
set title
set shiftround

agrawal-d

[user]
	email = <email here>
	name = Divyanshu Agrawal
[alias]
	last = log -1 HEAD
	logline = log --graph --pretty=format:'%Cred%h%Creset -%C(yellow)%d%Creset %s %Cgreen(%cr) %C(bold blue)<%an>%Creset' --abbrev-commit
[core]
    symlinks = true
	abbrev = 9
[color]

agrawal-d

# ~/.bashrc: executed by bash(1) for non-login shells.
# see /usr/share/doc/bash/examples/startup-files (in the package bash-doc)
# for examples

# If not running interactively, don't do anything
case $- in
    *i*) ;;
      *) return;;
esac

agrawal-d

How to change your commit messages in Git?

At some point you’ll find yourself in a situation where you need edit a commit message. That commit might already be pushed or not, be the most recent or burried below 10 other commits, but fear not, git has your back 🙂.

Not pushed + most recent commit:

git commit --amend

This will open your $EDITOR and let you change the message. Continue with your usual git push origin master.

agrawal-d

Updating a feature branch

First we'll update your local master branch. Go to your local project and check out the branch you want to merge into (your local master branch)

$ git checkout master

Fetch the remote, bringing the branches and their commits from the remote repository. You can use the -p, --prune option to delete any remote-tracking references that no longer exist in the remote. Commits to master will be stored in a local branch, remotes/origin/master