Settings: Rename internalRepoFolderName to folderName

This commit is contained in:
Vishesh Handa
2020-10-17 12:28:14 +02:00
parent bad1a03812
commit 81bd1322a6
4 changed files with 14 additions and 21 deletions

View File

@ -43,7 +43,7 @@ class StateContainer with ChangeNotifier {
@required this.gitBaseDirectory,
@required this.cacheDirectory,
}) {
var folderName = settings.internalRepoFolderName;
var folderName = settings.folderName;
repoPath = settings.storeInternally
? p.join(gitBaseDirectory, folderName)
: p.join(settings.storageLocation, folderName);
@ -358,7 +358,7 @@ class StateContainer with ChangeNotifier {
}
Future<void> moveRepoToPath() async {
var folderName = settings.internalRepoFolderName;
var folderName = settings.folderName;
var newRepoPath = settings.storeInternally
? p.join(gitBaseDirectory, folderName)
: p.join(settings.storageLocation, folderName);