Server IP : 80.241.246.6 / Your IP : 216.73.216.129 Web Server : Apache/2.4.25 (Debian) System : Linux kharagauli 4.9.0-19-amd64 #1 SMP Debian 4.9.320-2 (2022-06-30) x86_64 User : www-data ( 33) PHP Version : 7.0.33-0+deb9u12 Disable Function : pcntl_alarm,pcntl_fork,pcntl_waitpid,pcntl_wait,pcntl_wifexited,pcntl_wifstopped,pcntl_wifsignaled,pcntl_wifcontinued,pcntl_wexitstatus,pcntl_wtermsig,pcntl_wstopsig,pcntl_signal,pcntl_signal_dispatch,pcntl_get_last_error,pcntl_strerror,pcntl_sigprocmask,pcntl_sigwaitinfo,pcntl_sigtimedwait,pcntl_exec,pcntl_getpriority,pcntl_setpriority, MySQL : OFF | cURL : ON | WGET : ON | Perl : ON | Python : ON | Sudo : ON | Pkexec : ON Directory : /proc/thread-self/root/proc/21488/root/usr/share/doc/git/contrib/ |
Upload File : |
#!/bin/sh # You should execute this script in the repository where you # want to convert grafts to replace refs. GRAFTS_FILE="${GIT_DIR:-.git}/info/grafts" . $(git --exec-path)/git-sh-setup test -f "$GRAFTS_FILE" || die "Could not find graft file: '$GRAFTS_FILE'" grep '^[^# ]' "$GRAFTS_FILE" | while read definition do if test -n "$definition" then echo "Converting: $definition" git replace --graft $definition || die "Conversion failed for: $definition" fi done mv "$GRAFTS_FILE" "$GRAFTS_FILE.bak" || die "Could not rename '$GRAFTS_FILE' to '$GRAFTS_FILE.bak'" echo "Success!" echo "All the grafts in '$GRAFTS_FILE' have been converted to replace refs!" echo "The grafts file '$GRAFTS_FILE' has been renamed: '$GRAFTS_FILE.bak'"