Guest User

Untitled

a guest
Jun 22nd, 2018
71
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.33 KB | None | 0 0
  1. if [ ! -f myfile ]
  2. then
  3. cat <<EOF > myfile
  4. server {
  5. listen 80 default_server;
  6. listen [::]:80 default_server;
  7. server_name $server ;
  8. root /usr/share/nginx/html;
  9. }
  10. EOF
  11. fi
  12.  
  13. ##read from A file write to B file
  14.  
  15. sed -i -e '1r new_file' -e 'wq' file
  16.  
  17. sed -e '2s/^/#/' -e '5s/^/#/' -e '7s/^/#/' file
  18.  
  19. sed '/:8080;/s/^/#/g' file
Add Comment
Please, Sign In to add comment