替换字符串中的非特定子字符串

Replace a non-specific substring in a string

好吧,我正在尝试了解如何在这样的字符串中进行替换: String user ="123124.Ken:000"; 子字符串 .Ken:000 例如 .Diana:999。我认为使用那个 '.' 字符的 indexOf() 是有道理的,但我不知道如何从 indexOf() 替换到 user 字符串的末尾。

id = user.split(".")[0] # this will have the value of 123124
new user = id + ".Diana:999" 

你可以像这样写一个简单的函数。

def changeUser (oldUser, user):
    return oldUser.split('.')[0] + user

可以使用拆分功能