I’m using bash shell on Linux. I have this simple script … #!/bin/bash TEMP=`sed -n “https://stackoverflow.com/””Starting deployment of”‘/,/'”Failed to start context”‘/p’ “/usr/java/jboss/standalone/log/server.log” | … Read more
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
I have done this: $ z() { echo ‘hello world’; } How do I get rid of it? 2 Answers 2
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
After reading the Bash man pages and with respect to this post, I am still having trouble understanding what exactly the eval command … Read more
I just want to get the files from the current dir and only output .mp4 .mp3 .exe files nothing else. So I thought … Read more
I would like to change this Makefile: SHELL := /bin/bash PATH := node_modules/.bin:$(PATH) boot: @supervisor \ –harmony \ –watch etc,lib \ –extensions js,json … Read more
I’m using the jq tools (jq-json-processor) in shell script to parse json. I’ve got 2 json files and want to merge them into … Read more
I want to remove some n lines from the end of a file. Can this be done using sed? For example, to remove … Read more
I have a file with about 1000 lines. I want the part of my file after the line which matches my grep statement. … Read more