Tag Info

Hot answers tagged

3

The functionallity of REPORTTIME appears to be hard coded to compare usertime+systime. The relevant zsh source code for the REPORTTIME functionality: #ifdef HAVE_GETRUSAGE reporttime -= j->procs->ti.ru_utime.tv_sec + j->procs->ti.ru_stime.tv_sec; if (j->procs->ti.ru_utime.tv_usec + j->procs->ti.ru_stime.tv_usec >= ...


1

In order to extend your current PS1 prompt by a preceding horizontal line, you only need to do this: setopt promptsubst PS1=$'%U${(r:$COLUMNS:: :)}%u'$PS1 Explanation: Everything between %U and %u is underlined. The option promptsubst enables the substitution of parameters inside the prompt each time the prompt is drawn, in this case COLUMNS. The ...


1

The problem is, that / is part of your WORDCHARS. According to zshparam(1): WORDCHARS <S> A list of non-alphanumeric characters considered part of a word by the line editor. So if you want zsh to consider / as a word separator, it should not be in WORDCHARS. I would also suggest using single quotes instead of double quotes when defining it ...


1

You can define a trap function: TRAPUSR1() { if [[ -o INTERACTIVE ]]; then {echo; echo execute a new shell instance } 1>&2 exec "${SHELL}" fi } This funtion is called when the running shell catches a USR1 signal, initiated by kill -USR1 <PID>. It checks if the running zsh instance is interactive and if so, replaces it with a new ...


1

The Screen User's Manual states: To change the name after the window has been created you can use the title-string escape-sequence (<ESC> k name <ESC> \) (...) So (without having digged into oh-my-zsh's modules, plugins etc.) you can use print -n "\033kTITLE\033\134" on the zsh command line to change the name of the current screen window ...



Only top voted, non community-wiki answers of a minimum length are eligible