File manager - Edit - /usr/bin/google_disk_expand
Back
#!/bin/bash # Copyright 2020 Google Inc. All Rights Reserved. # # Licensed under the Apache License, Version 2.0 (the "License"); # you may not use this file except in compliance with the License. # You may obtain a copy of the License at # # http://www.apache.org/licenses/LICENSE-2.0 # # Unless required by applicable law or agreed to in writing, software # distributed under the License is distributed on an "AS IS" BASIS, # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. # See the License for the specific language governing permissions and # limitations under the License. if ! root=$(findmnt -n -o SOURCE /) || [[ -z "$root" ]] || [[ ! -b "$root" ]]; then echo "Couldn't determine root device" exit 1 fi echo "Checking if filesystem on ${root} needs resizing" if ! fstype=$(findmnt -n -o FSTYPE /) || [[ -z "$fstype" ]]; then echo "Detecting fstype failed: ${fstype}" exit 1 fi case "$fstype" in ext*) if ! out=$(resize2fs "$root"); then echo "Calling resize2fs \"${root}\" failed: ${out}" exit 1 fi ;; xfs*) if ! out=$(xfs_growfs -d /); then echo "Calling xfs_growfs -d / failed: ${out}" exit 1 fi ;; *) echo "Unsupported filesystem type ${fstype}" exit 0 ;; esac echo "Done."
| ver. 1.4 |
Github
|
.
| PHP 7.4.33 | Generation time: 0.02 |
proxy
|
phpinfo
|
Settings