How to replace an entire line in a text file by line number
I have a situation where I want a bash script to replace an entire line in a file. The line number is always … Read more
bash
Run a string as a command within a Bash script
I have a Bash script that builds a string to run as a command Script: #! /bin/bash matchdir=”/home/joao/robocup/runner_workdir/matches/testmatch/” teamAComm=”`pwd`/a.sh” teamBComm=”`pwd`/b.sh” include=”`pwd`/server_official.conf” serverbin=’/usr/local/bin/rcssserver’ cd … Read more
Intersection of two lists in Bash
I’m trying to write a simple script that will list the contents found in two lists. To simplify, let’s use ls as an … Read more
Grep characters before and after match?
Using this: grep -A1 -B1 “test_pattern” file will produce one line before and after the matched pattern in the file. Is there a … Read more
How to merge every two lines into one from the command line?
I have a text file with the following format. The first line is the “KEY” and the second line is the “VALUE”. KEY … Read more
How do I delete/remove a shell function?
I have done this: $ z() { echo ‘hello world’; } How do I get rid of it? 2 Answers 2
choosing between $0 and BASH_SOURCE
How does one choose between “$0” and “${BASH_SOURCE[0]}” This description from GNU didn’t help me much. BASH_SOURCE An array variable whose members are … Read more
Print a file’s last modified date in Bash
I can’t seem to find how to print out the date of a file. I’m so far able to print out all the … Read more
Emulating a do-while loop in Bash
What is the best way to emulate a do-while loop in Bash? I could check for the condition before entering the while loop, … Read more
How to produce a range with step n in bash? (generate a sequence of numbers with increments)
The way to iterate over a range in bash is for i in {0..10}; do echo $i; done What would be the syntax … Read more