Hummm, if you had another SD card with Raspibian on it, you could put your mis-sized SD card into a USB holder and plug it into a USB port. Then install gparted (sudo apt install gparted). Using that tool you can check the partition, which will also re-size it.
Sorry, that may be clear as mud...
If you are doing this headless, you can do it from the command line using parted, which will be installed when you install gparted.
Here's a description of the appropriate commands. Look for "resize".
https://www.tecmint.com/parted-command-t...artitions/
Sorry, that may be clear as mud...
If you are doing this headless, you can do it from the command line using parted, which will be installed when you install gparted.
Here's a description of the appropriate commands. Look for "resize".
https://www.tecmint.com/parted-command-t...artitions/