OLD | NEW |
1 #!/bin/bash | 1 #!/bin/bash |
2 | 2 |
3 # Copyright (c) 2009 The Chromium OS Authors. All rights reserved. | 3 # Copyright (c) 2009 The Chromium OS Authors. All rights reserved. |
4 # Use of this source code is governed by a BSD-style license that can be | 4 # Use of this source code is governed by a BSD-style license that can be |
5 # found in the LICENSE file. | 5 # found in the LICENSE file. |
6 | 6 |
7 # This script contains common utility function to deal with disk images, | 7 # This script contains common utility function to deal with disk images, |
8 # especially for being redistributed into platforms without complete Chromium OS | 8 # especially for being redistributed into platforms without complete Chromium OS |
9 # developing environment. | 9 # developing environment. |
10 | 10 |
(...skipping 86 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
97 local file="$1" | 97 local file="$1" |
98 local part_num="$2" | 98 local part_num="$2" |
99 local offset="$(part_offset "$file" "$part_num")" || | 99 local offset="$(part_offset "$file" "$part_num")" || |
100 err_die "failed to dump partition #$part_num from: $file" | 100 err_die "failed to dump partition #$part_num from: $file" |
101 local size="$(part_size "$file" "$part_num")" || | 101 local size="$(part_size "$file" "$part_num")" || |
102 err_die "failed to dump partition #$part_num from: $file" | 102 err_die "failed to dump partition #$part_num from: $file" |
103 | 103 |
104 dump_partial_file "$file" "$offset" "$size" | 104 dump_partial_file "$file" "$offset" "$size" |
105 } | 105 } |
106 | 106 |
OLD | NEW |