Skip to content

Instantly share code, notes, and snippets.

@evanjuang
Created November 16, 2020 03:42
Show Gist options
  • Select an option

  • Save evanjuang/db8ffe37ca2fd6ee630719b5e272ae40 to your computer and use it in GitHub Desktop.

Select an option

Save evanjuang/db8ffe37ca2fd6ee630719b5e272ae40 to your computer and use it in GitHub Desktop.

Revisions

  1. evanjuang created this gist Nov 16, 2020.
    5 changes: 5 additions & 0 deletions find_mount_info.sh
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,5 @@
    cat /proc/self/mountinfo | grep /home/repo | awk '{print $4 " ==> " $5}'

    # output to markdown format
    echo -e "|source|dest|\n|----|----|" > out.md
    cat /proc/self/mountinfo | grep /home/repo | awk '{printf "|%s|%s|\n", $4, $5}' >> out.md