I hereby claim:
- I am amar1729 on github.
- I am amar1729 (https://keybase.io/amar1729) on keybase.
- I have a public key ASAfL2E0q7ao1BOrrXz1V4_2AqrsSERiBnf8oAwt1FvgIQo
To claim this, I am signing this object:
I hereby claim:
To claim this, I am signing this object:
these derivations will be built: | |
/nix/store/2gp07d7nn4pw697y7n6rpkcpw638404s-cdrtools-3.02a06.drv | |
building '/nix/store/2gp07d7nn4pw697y7n6rpkcpw638404s-cdrtools-3.02a06.drv'... | |
unpacking sources | |
unpacking source archive /nix/store/gmczwh9b78gcz6k3n25axr95xi3dxrnf-cdrtools-3.02a06.tar.bz2 | |
source root is cdrtools-3.02 | |
setting SOURCE_DATE_EPOCH to timestamp 1453992581 of file cdrtools-3.02/AN-3.02a06 | |
patching sources | |
applying patch /nix/store/3c5nr70ywnpqk11vqzq78vyisnhi5bjd-fix-paths.patch | |
patching file DEFAULTS/Defaults.linux |
#! /usr/bin/env python3 | |
import os | |
import sys | |
import time | |
from typing import Any, Generator | |
# local | |
import iface |
" -*- vim -*- | |
" FILE: neomake_java_helper.vim | |
" Function to help (neomake)[https://github.com/neomake/neomake/] find the | |
" gradle classpath. | |
" Uses (javacomplete2)[https://github.com/artur-shaik/vim-javacomplete2] | |
" to find and set the classpath. | |
function! s:GetBasePath() | |
return substitute(g:JavaComplete_GradlePath, 'build.gradle', 'src/main/java', '') |
From e8f099e3be53311cfec4bde0699de9559e972cb5 Mon Sep 17 00:00:00 2001 | |
From: Amar1729 <[email protected]> | |
Date: Tue, 22 Oct 2019 03:14:48 -0400 | |
Subject: [PATCH 1/1] fix update-to-head script (more robust) | |
--- | |
pavement.py | 12 +++++++----- | |
update-to-head.sh | 28 +++++++++++++++------------- | |
2 files changed, 22 insertions(+), 18 deletions(-) |
src/infer $ git checkout v0.17.0 | |
M facebook-clang-plugins | |
Note: switching to 'v0.17.0'. | |
You are in 'detached HEAD' state. You can look around, make experimental | |
changes and commit them, and you can discard any commits you make in this | |
state without impacting any branches by switching back to a branch. | |
If you want to create a new branch to retain commits you create, you may |
A fairly straightforward way to do this - short of spinning up a VM - is to use a docker image, e.g.:
# use whatever ubuntu version you are targeting, although there may be pkg version differences:
$ docker run -it ubuntu:18.04
# using docker makes things like spin up/copying text/deleting images faster, but keep in mind a few gotchas:
# sdkman recommands settings SDKMAN_DIR and sourcing sdkman-init.sh | |
# this can really slow down shell startup, so here's my attempt to lazy-load sdk() | |
# | |
# This snippet lives in my ~/.profile but generally could live in any zsh-related startup file. | |
# | |
# the logic of this custom sdk is kind of odd, but it basically checks if the current | |
# definition of sdk() is too short (less than 10 lines). If so, it tries to source | |
# the init script and then pass through all the arguments to the real sdk function. | |
export SDKMAN_DIR="$HOME/.sdkman" |
#!/usr/bin/env python3 | |
''' | |
Import Google Reader starred items to Pocket | |
============================================ | |
This script will read the list of starred items generated by exporting your | |
Reader data using [Google Takeout][]. Generally you will use it like this: | |
python import-to-pocket.py starred.json |
# Please keep this gtkrc in sync with the other ones from Clearlooks based themes. | |
# gruvbox - based colors | |
gtk-color-scheme = "base_color:#282828\nfg_color:#ebdbb2\ntooltip_fg_color:#bdae93\nselected_bg_color:#458588\nselected_fg_color:#282828\ntext_color:#928374\nbg_color:#3c3836\ntooltip_bg_color:#fabd2f" | |
style "default" { | |
xthickness = 1 | |
ythickness = 1 |