John Deng john-deng

## git_prompt_info.zsh
function git_prompt_info() {
  ref=$(git symbolic-ref HEAD 2> /dev/null) || return
  echo "${ZSH_THEME_GIT_PROMPT_PREFIX}${ref#refs/heads/}$ZSH_THEME_GIT_PROMPT_CLEAN$ZSH_THEME_GIT_PROMPT_SUFFIX"
}

## git 设置和取消代理
git config --global https.proxy http://127.0.0.1:1080

git config --global https.proxy https://127.0.0.1:1080

git config --global --unset http.proxy

git config --global --unset https.proxy


npm config delete proxy

## hello-world.go
package main

import "fmt"

func main() {
  fmt.Println("Hello world")
}

## clean-up-boot-partition-ubuntu.md

      
              1 file
            
          
              0 forks
            
          
                0 comments
              
            
              0 stars
            
          
                john-deng
                / clean-up-boot-partition-ubuntu.md
            
            
              Created
              February 3, 2020 02:56
                — forked from ipbastola/clean-up-boot-partition-ubuntu.md
            
              
                Safest way to clean up boot partition - Ubuntu 14.04LTS-x64, Ubuntu 16.04LTS-x64
              
          
    Safest way to clean up boot partition - Ubuntu 14.04LTS-x64, Ubuntu 16.04LTS-x64

Reference
Case I: if /boot is not 100% full and apt is working

1. Check the current kernel version

$ uname -r
	function git_prompt_info() {
	ref=$(git symbolic-ref HEAD 2> /dev/null) \|\| return
	echo "${ZSH_THEME_GIT_PROMPT_PREFIX}${ref#refs/heads/}$ZSH_THEME_GIT_PROMPT_CLEAN$ZSH_THEME_GIT_PROMPT_SUFFIX"
	}
	git config --global https.proxy http://127.0.0.1:1080

	git config --global https.proxy https://127.0.0.1:1080

	git config --global --unset http.proxy

	git config --global --unset https.proxy


	npm config delete proxy
	package main

	import "fmt"

	func main() {
	fmt.Println("Hello world")
	}