You are browsing a read-only backup copy of Wikitech. The live site can be found at wikitech.wikimedia.org

User:Huji: Difference between revisions

From Wikitech-static
Jump to navigation Jump to search
imported>Huji
No edit summary
imported>Huji
No edit summary
 
Line 4: Line 4:
* [[Help:Accessing Cloud VPS instances]]
* [[Help:Accessing Cloud VPS instances]]
* [[Help:Toolforge/Jobs framework]]
* [[Help:Toolforge/Jobs framework]]
* [[User:Legoktm/toolforge library]]


My favorite git command: <code>git branch --no-merged | xargs -L 1 git branch -D</code>
My favorite git command: <code>git branch --no-merged | xargs -L 1 git branch -D</code>

Latest revision as of 13:40, 14 June 2022

I am mw:User:Huji.

My favorite git command: git branch --no-merged | xargs -L 1 git branch -D

I like https://ohmyz.sh/ and use it on toolforge. I particularly like to modify its default theme (cp .oh-my-zsh/themes/robbyrussell.zsh-theme .oh-my-zsh/custom/themes) and change the prompt format to include username:

PROMPT='%(!.%{%F{yellow}%}.)$USER@%{$fg[white]%}toolforge '
PROMPT+="%(?:%{$fg_bold[green]%}➜ :%{$fg_bold[red]%}➜ )"
PROMPT+=' %{$fg[cyan]%}%c%{$reset_color%} $(git_prompt_info)'

My aliases:

alias tools="ssh login.toolforge.org"
alias remote="sshfs -o allow_other -o workaround=rename login.toolforge.org:/data/project/huji ~/remote"
alias demote="umount ~/remote"
alias demotef="fusermount -zu ~/remote"