Skip to content

Instantly share code, notes, and snippets.

View j-jith's full-sized avatar

Jithin Jith j-jith

View GitHub Profile
@j-jith
j-jith / read_deal_vec.py
Last active July 18, 2016 09:32
Read deal.ii binary files written with Vector<>::block_write() into Python numpy arrays
import sys
import os
import numpy as np
def read_deal_vec(filename):
if not os.path.isfile(filename):
print('File not found!')
else:
with open(filename, 'rb') as f:
@j-jith
j-jith / howto-compile-vim.md
Last active November 6, 2023 17:30
How to compile and install Vim 8.0 on Ubuntu

Install build dependencies

$ sudo apt-get build-dep vim

Clone git repo

$ git clone https://github.com/vim/vim.git

Change to src directory

@j-jith
j-jith / netaccess.py
Created November 5, 2016 07:29
Python script for logging in to IIT Madras netaccess site.
#!/usr/bin/env python
from __future__ import print_function, division
import requests
import getpass
import sys
def get_login_data():
'''Asks the user for the username and password. Returns a dictionary to be
passed to the /account/login post request.
@j-jith
j-jith / brew-spotlight.md
Created February 20, 2017 12:35
Letting Spotlight find Brew Apps on MacOSX

Say, you want spotlight to find MacVim. Doing

brew linkapps macvim

creates a symlink in /Applications. But Spotlight seems to ignore it. Instead, remove the symlink

rm /Applications/MacVim.app
@j-jith
j-jith / synctex vim qpdfview
Last active January 25, 2019 02:53 — forked from bennygit/synctex vim qpdfview
synctex vim qpdfview
# qpdfview synctex vim synchronization
# for qpdfview (Settings > Behavior > Source editor)
vim --servername vimtex --remote-silent +%2<Enter>zz %1
# for alias in .bashrc
alias vimtex='vim --servername vimtex'
@j-jith
j-jith / miui-fastboot-howto.rst
Last active October 8, 2024 19:33
How to flash MIUI Fastboot ROM from Linux

How to flash MIUI Fastboot ROM from Linux

@j-jith
j-jith / my-android-apps.rst
Last active August 20, 2017 22:32
My Android Apps
@j-jith
j-jith / custom-rom-redmi2.rst
Created October 28, 2017 05:09
Installing a custom ROM on Xiaomi Redmi 2

Installing a custom ROM on Xiaomi Redmi 2

Before proceeding, make sure you have backed up all your important data to another device.

Custom Recovery

Most custom ROMs require a custom recovery. In this section, I will provide the