| Index | Recent Threads | Unanswered Threads | Who's Active | Guidelines | Search |
| World Community Grid Forums
|
| No member browsing this thread |
|
Thread Status: Active Total posts in this thread: 3
|
|
| Author |
|
|
jamie.kotlewski
Cruncher Joined: Feb 7, 2007 Post Count: 32 Status: Offline Project Badges:
|
Hi,
Just wondering if it is possible to change the names of the profiles that we have in the device manager? Instead of work, or home or school can we change it to something else? I searched the fora but didn't find anything. I might not have looked hard enough though. Thanks! |
||
|
|
Former Member
Cruncher Joined: May 22, 2018 Post Count: 0 Status: Offline |
Just wondering if it is possible to change the names of the profiles that we have in the device manager? Instead of work, or home or school can we change it to something else? I searched the fora but didn't find anything. I might not have looked hard enough though. Maybe someday but not now |
||
|
|
Former Member
Cruncher Joined: May 22, 2018 Post Count: 0 Status: Offline |
Just wondering if it is possible to change the names of the profiles that we have in the device manager? Instead of work, or home or school can we change it to something else? I searched the fora but didn't find anything. I might not have looked hard enough though. Maybe someday but not now Actually, there is a way to create a profile with a name of your own choice, but a little bit html editing work is needed to have a device use that profile though. |
||
|
|
|