This file is indexed.

/usr/share/zsh/functions/Zle/replace-string is in zsh-common 5.1.1-1ubuntu2.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
emulate -L zsh
setopt extendedglob

autoload -Uz read-from-minibuffer replace-string-again

local p1  p2
integer changeno=$UNDO_CHANGE_NO

{

if [[ -n $_replace_string_src ]]; then
  p1="[$_replace_string_src -> $_replace_string_rep]"$'\n'
fi

p1+="Replace: "
p2="   with: "

# Saving curwidget is necessary to avoid the widget name being overwritten.
local REPLY previous curwidget=$WIDGET

if (( ${+NUMERIC} )); then
  (( $NUMERIC > 0 )) && previous=1
else
  zstyle -t ":zle:$WIDGET" edit-previous && previous=1
fi

read-from-minibuffer $p1 ${previous:+$_replace_string_src} || return 1
if [[ -n $REPLY ]]; then
  typeset -g _replace_string_src=$REPLY

  read-from-minibuffer "$p1$_replace_string_src$p2" \
    ${previous:+$_replace_string_rep} || return 1
  typeset -g _replace_string_rep=$REPLY
fi

} always {
  # Undo back to the original line; we don't want the
  # undo history of editing the strings left.
  zle undo $changeno
}

replace-string-again $curwidget