larshaendler

Bash

for file in prefix*; do mv "$file" "${file#prefix}"; done;

The for loop iterates over all files with the prefix. The do removes from all those files iterated over the prefix.

Here is an example to remove "bla_" form the following files:

bla_1.txt
bla_2.txt

nikhita

You need the rights to reopen pull requests on the repository.

1. Write down the current commit hash of your PR-branch git log --oneline -1 <PR-BRANCH>
2. Write down the latest commit hash on github before the PR has been closed.
3. git push -f origin <GITHUB-HASH-FROM-STEP-2>:<PR-BRANCH>
4. Reopen the PR.
5. git push -f origin <HASH-FROM-STEP-1>:<PR-BRANCH>

Example

You've a PR branch my-feature currently at 1234567. Looking at the the PRs page, we see that the PR was closed when my-feature pointed at 0abcdef.

exts

## Requires newer versions of ubuntu, I'm using Ubuntu 20

# install nginx
sudo apt install nginx

# add php8.X repository
sudo add-apt-repository ppa:ondrej/php
sudo apt update

# search libraries

vinzenz

package main

import (
	"database/sql"
	"fmt"
	"net"
	"os"

	"github.com/go-sql-driver/mysql"
	"golang.org/x/crypto/ssh"

josephspurrier

#!/bin/bash
#
# chkconfig: 35 95 05
# description: Hello world application.

# Run at startup: sudo chkconfig hello-world on

# Load functions from library
. /etc/init.d/functions

lukehedger

$ ffmpeg -i input.mp4 -vcodec h264 -acodec mp2 output.mp4