diff options
author | Marek Gradzki <mgradzki@cisco.com> | 2018-04-30 09:03:13 +0200 |
---|---|---|
committer | Marek Gradzki <mgradzki@cisco.com> | 2018-05-02 09:55:56 +0000 |
commit | 30b088af1c187d7d3abd65030089c2a56f5cf95b (patch) | |
tree | ee427c54a6885d644c69a300407445fefff24628 /examples/docker/vpp/kill.sh | |
parent | 4b8bef208fc37b09008e3333db9d262d56b94192 (diff) |
Move docker files to examples directory
Change-Id: Ib2eb3dbae76a1e9b5d98ce9e0d5eea9adba280cf
Signed-off-by: Marek Gradzki <mgradzki@cisco.com>
(cherry picked from commit e4c58493ce5265ea0d1e17d160c339401c406186)
Diffstat (limited to 'examples/docker/vpp/kill.sh')
-rwxr-xr-x | examples/docker/vpp/kill.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/examples/docker/vpp/kill.sh b/examples/docker/vpp/kill.sh new file mode 100755 index 000000000..329d201ec --- /dev/null +++ b/examples/docker/vpp/kill.sh @@ -0,0 +1,3 @@ +#!/bin/bash + +ps -ef | grep vpp | awk '{print $2}'| xargs kill |