How do you get the file extension of a file

Question

Im trying to read the extension of a file, is there a function like, get_extension(), or something like that?

Answer 1

No, but if you're using a Directory to get files, you can get the file extension from the name of the file since it's at the end of the name.

Answer 2

once you get the full path to your file using directory, just use get_extension()
example below

func dircontents(path):
var dir = Directory.new()
if dir.open(path) == OK:
dir.listdirbegin()
var filename = dir.getnext()
while filename != "":
if dir.currentisdir():
print("Found directory: " + filename)
else:
print("Found file: " + filename)
filename = dir.getnext()
print(filename.getextension())
else:
print("An error occurred when trying to access the path.")

func onButtonpressed():
dircontents("res://sounds/music");

Comments

under scores have been removed in my above post. so please use correct functions
Thanks

Answer 3

I am a bit late to the party - but for anyone stumbling across this via search engine: Godot Strings provide the exact wished functionality by now: https://docs.godotengine.org/en/stable/classes/class_string.html#class-string-method-get-extension