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
Jump to navigation
Jump to search
imported>Huji (Created page with "I am mw:User:Huji.") |
imported>Huji No edit summary |
||
| (6 intermediate revisions by 2 users not shown) | |||
| Line 1: | Line 1: | ||
I am [[mw:User:Huji]]. | I am [[mw:User:Huji]]. | ||
* [[Help:MediaWiki-Vagrant_in_Labs]] | |||
* [[Help:Accessing Cloud VPS instances]] | |||
* [[Help:Toolforge/Jobs framework]] | |||
My favorite git command: <code>git branch --no-merged | xargs -L 1 git branch -D</code> | |||
I like https://ohmyz.sh/ and use it on toolforge. I particularly like to modify its default theme (<code>cp .oh-my-zsh/themes/robbyrussell.zsh-theme .oh-my-zsh/custom/themes</code>) and change the prompt format to include username: | |||
<syntaxhighlight lang=zsh> | |||
PROMPT='%(!.%{%F{yellow}%}.)$USER@%{$fg[white]%}toolforge ' | |||
PROMPT+="%(?:%{$fg_bold[green]%}➜ :%{$fg_bold[red]%}➜ )" | |||
PROMPT+=' %{$fg[cyan]%}%c%{$reset_color%} $(git_prompt_info)' | |||
</syntaxhighlight> | |||
My aliases: | |||
<syntaxhighlight lang=zsh> | |||
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" | |||
</syntaxhighlight> | |||
Revision as of 18:35, 16 February 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"